K 10
svn:author
V 7
skozlov
K 8
svn:date
V 27
2020-06-06T14:59:48.633857Z
K 7
svn:log
V 321
Unbreak devel/staf

After r533459 functionality that automatically un-zips the zipped patches
in Mk/Scripts/do-patch.sh started working. This caused makefile.zip patches
to be treated as compressed, even though they're not. Changing the patch
name fixes the issue as the do-patch.sh doesn't see it as a .zip file anymore

END