Benoit Marty 35544c848e Merge pull request #5161 from element-hq/feature/bma/movePushHistory ...

Move push history entry point from notification settings to developer settings

2025-08-14 09:00:31 +02:00

..

src/test

Merge pull request #5161 from element-hq/feature/bma/movePushHistory

2025-08-14 09:00:31 +02:00

.gitignore

…

build.gradle.kts

…

consumer-rules.pro

…