Support for the image mask in higher resolution than the image itself
Merge pull request #4246 from pnml/hiresmask

Support for the image mask in higher resolution than the image itself