Bastien Sat, 01 May 2021 02:59:44 -0700
Applied in maint as commit 400d2d9fd, with a minor modification of the commit message. Thanks!
-- Bastien