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: [email protected] For additional commands, e-mail: [email protected]
