Fix sanity check for file extension

This commit is contained in:
Laurent Indermuehle 2023-03-27 16:58:11 +02:00
parent aa84025f31
commit ea1b287c17
No known key found for this signature in database
GPG key ID: 93FA944C9F34DD09