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
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