Hi, On Mon, 13 Jun 2022 at 09:03, Ludovic Courtès <l...@gnu.org> wrote:
> Merged, enjoy! :-) Cool! > Next up: release and ‘core-updates’. Do you want to do a ’core-updates’ merge before the release? I think a release on July would be very welcome. WDYT? Cheers, simon
