Hum, it's odd, 1281d0c and 04a200b have the same commit message. Overall diff looks good though

—
Reply to this email directly or view it on GitHub.