On Tue, Feb 13, 2018 at 11:13 PM, Gary Gregory <[email protected]> wrote:
> Fine with me. Let's see if anyone objects... As there seem to be other incompatible changes in the pipeline (StrBuilder, etc.), this should be a good opportunity. Jochen --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
