On 06/16/2016 07:27 PM, Joseph Myers wrote: > On Thu, 16 Jun 2016, Rajalakshmi Srinivasaraghavan wrote: > >> Changed it in the attached patch. > This latest version is OK. > Thanks for the review. Pushed as 41a359e22f3a85a570bd5fd94496d02959fe8394 -- Rajalakshmi S