On Sat, 20 Jul 2013, Jakub Jelinek wrote:

> Joseph, any comments?

I have no comments here.

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

Reply via email to