On 2020-07-23, Stefan Bodewig wrote: > My preference would be for using less of github rather than more. But > I'm probably alone with that.
Of course I'm not. Sorry Gilles. :-) Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org