On Tue, 30 Jun 2020 at 00:20, Ludovic Courtès wrote: > The next commit also makes the closure of ‘gcc-toolchain’ much smaller, > bringing it to 350 MiB instead of 1 GiB. Wow! Awesome! This deserves a --news. :-) Cheers, simon