Fix push requests
Two bug fixes found in the process of implementing the client side of the push requests in fdroidclient!386 (merged)
This is related to !156 (merged).
Two bug fixes found in the process of implementing the client side of the push requests in fdroidclient!386 (merged)
This is related to !156 (merged).