Benoit Marty c6fb2c0c58 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
..
main	Merge pull request #5161 from element-hq/feature/bma/movePushHistory	2025-08-14 09:00:31 +02:00
test/kotlin/io/element/android/features/preferences/impl	Merge pull request #5161 from element-hq/feature/bma/movePushHistory	2025-08-14 09:00:31 +02:00