[ci skip] Move the file to the new name

This commit is contained in:
Luca Beltrame 2021-08-01 10:09:18 +02:00
parent 3f354e43c8
commit 463055c266
Signed by: einar
GPG key ID: 4707F46E9EC72DEC