Le 06/06/2020 à 19:04, Richard Kimberly Heck a écrit : >> Fixed in master at a71b96ac42. >> >> Riki, if we want to fix in branch, we would also have to backport >> 74540c98. > > Whatever you think is best is fine with me. OK, I backported these two commits. JMarc