Hello. You are welcome and yes, you may apply it manually. The bug fix is simple and it cannot affect anything else.
Thanks. I already did and Push notifications still not working. Please look at comments above.
