minitube: rename patches

This commit is contained in:
Michael Gehring 2017-09-26 10:51:37 +00:00
parent ca2f78137a
commit faee9e63c3