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

Reply via email to