warning: tip of 'next' rewound post 1.7.9

I've finished today's integration run, and the tip of 'next' is now
rewound.

The draft release notes to the next release calls it 1.7.10 but the name
is tentative.  We may want to switch to two dotted-decimal scheme and call
it 2.0 or something, but I haven't decided it yet.