This is now merged. If push notifications stop working after a while from now on please report a #bug.