Hotfix version 0.13.2
Hotfix for a bug where the good pixel mask was still not applied if a maskfile was loaded where the contained disable mask did not have the good mpixel mask loaded already.
Hotfix for a bug where the good pixel mask was still not applied if a maskfile was loaded where the contained disable mask did not have the good mpixel mask loaded already.