Tue Mar 3 2015 11:10:41 UTC
< tml> sberg, others: any opinion, should I just push a commit "$foo" directly, or through gerrit? -- <@sberg> tml, depends on whom you want to be hit harder by, gerrit bots or real humans ;)
Hide Search Description
Zarro Boogs found.
Edit Search  
as