Thank you all for the discussion. I merged #2251, closed #2250, and in a moment I'll "unlock" the master branch.
Take care, Jeff _______________________________________________ Emc-developers mailing list Emc-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/emc-developers
