On Tue, Jan 12, 2021 at 2:24 PM Robert Munteanu <[email protected]> wrote:
> ...I propose that we use this workflow from now on as it much simpler for
> contributors...

+1, I have used it a few times already and it looks good!

-Bertrand

Reply via email to