On Fri, Jul 24, 2020 at 11:51:40AM -0400, Richard Kimberly Heck wrote: > On 7/24/20 7:02 AM, Enrico Forestieri wrote: > > > > Richard, I attach here the corresponding patch for stable. > > OK! Committed at 79998fdc. -- Enrico