On Thu, Aug 04, 2016 at 03:50:51AM -0400, Mark H Weaver wrote: > How about reverting the squashed commit and then re-doing a proper merge > from 'core-updates-2016-08-01' into 'master'?
I think we should do this. It's worth a little blemish in the commit history in order to retain the history of this core-updates cycle.
