On Sun, May 27, 2018 at 10:17:40PM +0200, Bruno Haible wrote: > I've pushed both patches in your name now. > > Had to adapt them a bit because the file 'build-aux/bootstrap' had been > reindented meanwhile.
Thanks! -- Colin Watson [cjwat...@debian.org]
