PintaProject/Pinta — comment on commit 1b4ede1699cf0b518e1403b10f6e911a6ce3d01b
File:  line 0
By robpvn:

This fixes Bug #892742 , which I forgot to add in the commit message.