The merge commit d833bb65 did not correctly merge the commit 03eb1593. Closes #948
Attach a file by drag & drop or click to upload
