virtuoso: rename patches

This commit is contained in:
Michael Gehring 2017-09-26 10:54:06 +00:00
parent c7b680e6a5
commit 2d0ab8f1b9
3 changed files with 0 additions and 0 deletions