We should document that, from 7.2, the way to update to next GA in the same Liferay version is just startup the portal.
Only micro changes in the schema version are allowed between GAs (also between service packs) so they can get this trace during startup:
If they have pending micro upgrades to execute. They can execute them on demand using the upgrade tool.
James Hinkey, what do you think?