Where are you encountering crashes? What device are you using? If you have any examples of what crashed and if it's something you could replicate I would love to know so I could track the issue down. Push is fixed in the device, and we just have to make some changes to the push server code base to support them. It will come in a server patch.