This was approved on IRC so I've now committed it (including committing 
the relevant bits to src).

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to