Is that better ? I intend to submit the rmtree patch (along a bunch of other cleanups) to upstream, will update guix packaging when that will happen... On Thu, Mar 19, 2020 at 5:01 PM Vincent Legoll wrote: > > On Thu, Mar 19, 2020 at 4:48 PM Marius Bakke wrote: > > Vincent Legoll writes: > > > [something's missing here] ;-) > > > > Hm? There is an inline patch. It renders nicely in my mail client, as > > well as on issues.guix.gnu.org: > > > > https://issues.guix.gnu.org/issue/40083#3 > > Yes, I've seen it on the guix issues site, but gmail is not showing it > properly... > > -- > Vincent Legoll -- Vincent Legoll