Thanks Bastien! I've tested this out and confirmed it works, and didn't notice any side effects.
On Fri, Feb 14, 2020 at 6:02 AM Bastien <b...@gnu.org> wrote: > Hi Andrew, > > thanks a lot for the minimal recipe! Very helpful. > I confirm the bug and I have now (finally) fixed it. > > We can close this bug from... 2013 :) > > Best, > > -- > Bastien >
