Hi Guix! It’s time to merge master into staging and build it!
Leo, Marius: thoughts? Since you’re the one who did most of the work there, I suggest that you do this (Leo has access to Hydra). TIA! :-) Ludo’.
Hi Guix! It’s time to merge master into staging and build it!
Leo, Marius: thoughts? Since you’re the one who did most of the work there, I suggest that you do this (Leo has access to Hydra). TIA! :-) Ludo’.