Rename patch file

This commit is contained in:
Johannes Klein
2024-04-10 12:40:04 +02:00
parent 73e11c2e5c
commit a124fafcb1