On 01/26/2013 02:51 PM, Dmitri Gribenko wrote: > On Sat, Jan 26, 2013 at 12:07 PM, Enea Zaffanella > <zaffanella at cs.unipr.it> wrote: >> Here is the patch. OK to commit? > > Please don't duplicate the comment in .cpp file. LGTM with that. > > Dmitri > Done (r173581). Enea.