On Mon, 22 Aug 2016 22:03:58 +0200 Ricardo Wurmus wrote: > John Darrington writes: > > > These somehow crept in, but are an explicit violation of GNU policy and > > coding standards. > > Good catch! Thanks for fixing this. > > ~~ Ricardo How about the attached patch to catch such things earlier? `~Eric