On Fri, 8 May 2015, Jeff Law wrote: > > * Sort out whether to update those top-level "missing" scripts. > Seems like we should if they came from automake.
I say we should *update* (from git). Not *downgrade to an older version*, which is what the posted patch did. -- Joseph S. Myers jos...@codesourcery.com