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. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx