dht_proxy_server: fix Android push notifications#723

aberaud merged 1 commit intosavoirfairelinux:mastersavoirfairelinux/opendht:masterfrom

fsimonfc:androix_push_notification_fixfsimonfc/opendht:androix_push_notification_fixCopy head branch name to clipboard