Le mer. 8 janv. 2020 à 15:15, Gary Gregory <[email protected]> a écrit : > > I think it is time to bring this PR in and make any adjustments within > master beyond that. This will be quicker and simpler than going round and > round for simple things like Javadoc tweaks and small non-functional > changes (formatting, variable names, and so on.) I'll proceed with that > tonight.
Design issues were raised on the ML: With no agreement and no opinions other than Claude's and mine, things stayed where they were. Gilles >> [...] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
