* rhc(at)open-mpi(dot)org <rhc(at)open-mpi(dot)org> [2016-10-25 09:27]:
> I realize that we didn’t make it to the Oct 12 agenda - our members are wondering if you believe this will get on the Nov meeting?
I haven't seen any objections, so I would expect we vote on it in
November.
I can add it to the agenda.
--
Martin Michlmayr
http://www.cyrius.com/