Fix gmail pushmail fail after ROM-updateI just updated the ROM on my Android HTC Desire to LeeDroid 3.3.3 the other day. After upgrading, I suddenly noticed that my gmail was no longer being pushed to my phone even though I had heaps of internal memory free. I finally found out that obviously gmail push has problems when settings have been restored using Titanium Backup. I simply had to enable, and then disable the settings to get things to work.So if you have trouble getting push mail from gmail on your Android device, try the following:Make sure you have more than 15 MB free internal memory.Go to Menu » Settings » Accounts & sync and disable both Background data and Auto-sync and re-enable them....