Merge commit '9a553563269f93bae59cf45e43933c81fdec07e8'
[fanfix.git] / derename.sh
2020-04-18 Niki Rooderename.sh