On 15.02.2013, at 09:30, Yiannis Tsiouris <gtsiour at softlab.ntua.gr> wrote: > Hi, > > On 02/14/2013 10:52 PM, Nadav Rotem wrote: >> Thanks for making the corrections. This patch LGTM. Do you want me (or someone else) to commit this for you ? > I don't have commit access so please do that for me! Landed in r175457. - Ben