On 2011/06/01 13:06:15, Diego Novillo wrote:
Looks OK.  One minor formatting comment that I will fix myself when I
commit the
patch.

Committed as rev 174530.


Diego.

http://codereview.appspot.com/4532102/

Reply via email to