On Fri, 27 May 2016, Paul E. Murphy wrote: > The updated patch is attached. I'd prefer to get this approved and committed > before committing the other M_ -> lit_ changes. You need to update this for my removal of M_PI_6l as unused. OK with that change. -- Joseph S. Myers joseph@codesourcery.com