On 13 December 2012 15:19, Martin Nowack <martin at se.inf.tu-dresden.de> wrote: > Hi Rafael, > > No, I don't have commit access. > Would be great if you or somebody else could push it. r170147. Thanks for the patch. > Thanks a lot. > > Martin > Cheers, Rafael