Hello Gary. Le jeu. 26 nov. 2020 à 15:09, Gary Gregory <[email protected]> a écrit : > > Please update changes.xml when you merge a PR.
Since when do we require that for Javadoc clean-up? Regards, Gilles --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
