On Tue, Sep 08, 2020 at 06:18:13PM -0400, Richard Kimberly Heck wrote: > On 9/8/20 4:50 PM, Enrico Forestieri wrote: > > > > Riki, this is also needed in stable. > > OK. Committed at 34f33b27. -- Enrico