A quick update to the Gmail app tonight brings about a couple changes. First off is that Google has brought back the delete option by default, alongside the archive button. (Previously you had to turn that back on in the settings.) Also listed is "tap sender images to select multiple e-mails in the conversation list," but we've been doing that for a little while now, right? Plus, the requisite bugfixes.
Not a huge update, but any update to the Gmail app is an important one. Head on over and set things right.