Re: maint.mk: improve the release procedure

[Akim Demaille]

> Pushed.

Well, there are several issues with the patch.  I'm on it right now.
Do not upgrade gnulib right now.