Committed in https://github.com/jpobst/Pinta/commit/47e72fa009e550f438cec95df4a9735c58719e06.
Thanks for tracking this down and providing a patch!
Committed in https:/ /github. com/jpobst/ Pinta/commit/ 47e72fa009e550f 438cec95df4a973 5c58719e06.
Thanks for tracking this down and providing a patch!