Change collapsed filename

This commit is contained in:
José González 2022-06-22 16:00:04 +02:00
parent 7e206716d7
commit 5e09b99504