grorp a29d3cf074 Save the settings in more cases to avoid losing setting changes (especially on Android) (#14266)

2024-01-23 21:33:27 +01:00

..

main

Save the settings in more cases to avoid losing setting changes (especially on Android) (#14266)

2024-01-23 21:33:27 +01:00