On Mon, 2016-12-05 at 19:12 -0500, Matthew Miller wrote:
That's exactly why I'm suggesting the point release or
batched update
—
that would include a GNOME bump.
OK then, if we're willing to bump all of GNOME in a point release
(that's a lot of stuff!) then I don't object.