Gmail for Android now gets archiving interface tweak

An update to Gmail app for Android devices is being rolled out that brings some minor but visually distinct changes to the service.