Applied in maint as commit 400d2d9fd, with a minor modification of the
commit message.  Thanks!

-- 
 Bastien

Reply via email to