Sync apps and hopefully wake github up

PR 270 merged, but no github actions ran?
This commit is contained in:
Willy-JL
2024-10-19 02:09:24 +01:00
parent 9e3a9079ee
commit 2e3c6d32cf