On Thu, Sep 03, 2020 at 12:52:23PM -0400, Richard Kimberly Heck wrote: > On 9/3/20 11:26 AM, Enrico Forestieri wrote: > > > > Riki, I guess this is also needed in stable. > > OK. Done at 1f1a8f60. -- Enrico