dht_proxy_server: fix Android push notifications #1043

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu/GCC Autotools build	4m 25s
Ubuntu/GCC Meson build	1m 4s
macOS/Clang build	4m 40s
Ubuntu/GCC minimal build	2m 17s
	12m 26s