This patch is OK.

-- 
Joseph S. Myers
[email protected]

Reply via email to