This message was deleted.

Yes, that is the plan right now. Still waiting at least until Monday to see if anything else pops up. But I think the Gnome issue is enough to justify a patch release,