Merge "(bug 37158) display personal menu on top of page tabs on Vector"
authorMarkTraceur <mtraceur@member.fsf.org>
Fri, 16 Nov 2012 21:54:25 +0000 (21:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 16 Nov 2012 21:54:25 +0000 (21:54 +0000)

Trivial merge