Re: ‘core-updates’ merge imminent

[Ludovic Courtès]

The ‘core-updates’ branch has been merged in ‘master’ and deleted.  Hydra
will now be catching up (see <http://hydra.gnu.org/jobset/gnu/master>).

Ludo’.