Restore Gmail contacts

Today, when I navigated to my Gmail contacts, I was greeted by the following message:

The “Learn more” link points to the page with very simple restore instructions:

1. Click Contacts.
2. From the More actions drop-down menu, choose Restore contacts.
3. Choose the time you’d like to revert your contacts list to (e.g. 10 minutes ago, one hour ago, one week ago, etc). We suggest that you also make a note of the time that you restore your contacts, in case you’d like to return to where you started.
4. Click Restore. You’ll see a confirmation at the top of the screen when the rollback is complete.