On Thu 26 Apr 2018 at 20:20, Bastien <b...@gnu.org> wrote:

> Er, indeed - both bugs should now be fixed in maint.

Looks good to me, thanks!

Reply via email to