I am using a stock Nexus S that has been upgraded to ICS 4.0.3. I have noticed that gmail synchs far less frequently since the upgrade - at the moment it appears to be synching aprox every 8 hours.
I cannot seem to find the menu screen that allows me to configure the frequency of the the sync.
Settings > Accounts & Sync gives me access to switch on or off syncing and would seem to be the logical place for this functionality to live, but I cannot see anything that lets me control frequency.
Similarly there appears to be no settings around this within the Gmail app itself.
Am I being blind or is this functionality no longer available?