Thanks! Pushed the patch manually to have the commit message following the recommended guidelines -- allows us to get a coherent changelog for releases:
—Reply to this email directly or view it on GitHub.