In #Signal v7.17.0 (Android) they've introduced #SignalNetwork. Seems like a self-made Push replacement for #websocket to me. Unfortunately I can't find any info about it online. Can somebody tell me more?@SignalUpdateInfo @signalapp

https://github.com/signalapp/Signal-Android/commit/00d20a19178e3489934284b2e9d50b8ec96b2806