enforce correct .patch(.*) extension for patch files#4247

boegel merged 3 commits intoeasybuilders:5.0.xeasybuilders/easybuild-framework:5.0.xfrom

branfosj:patchbranfosj/easybuild-framework:patchCopy head branch name to clipboard