[m-rev.] [for review] Fix some styling of the menu.

Paul Bone paul at bone.id.au
Fri Apr 19 11:37:50 AEST 2013

On Fri, Apr 19, 2013 at 11:29:17AM +1000, Peter Wang wrote:
> On Fri, 19 Apr 2013 11:24:22 +1000, Paul Bone <paul at bone.id.au> wrote:
> > 
> > That looks good too, I think I like it better as it's more minimal.  Are you
> > happy for me to commit our combined changes?
> Sure.  You might want to actually delete the HRs instead.

I wasn't sure about that.  I've created a pull request for the patches.
Feel free to edit your change to do this properly.


Paul Bone

More information about the reviews mailing list