No worries! On Thu, 15 Feb 2018 15:36:13 +0100 ludo@gnu.org (Ludovic Courtès) wrote: > Rutger Helling skribis: > > > I merged these since it's been two weeks. > > Thanks, and sorry for not being more responsive. > > Ludo’.