Pseudomerge branch 'master' over 'next'

Mistakenly, the 'next' branch diverged from 'master'.  This merge
commit nullifies the divergent commit so that 'next' be fast-forwarded
to 'master', like this:

    % git checkout master
    % git merge -s ours next
    % git checkout next
    % git merge --ff-only master