[wp-meta] [Making WordPress.org] #3523: Fix mobile nav menu for /plugins and /themes

[Making WordPress.org]

#3523: Fix mobile nav menu for /plugins and /themes
-------------------------------------+------------------
 Reporter:  raajtram                 |       Owner:
     Type:  defect                   |      Status:  new
 Priority:  normal                   |   Milestone:
Component:  General                  |  Resolution:
 Keywords:  has-patch needs-testing  |
-------------------------------------+------------------

Comment (by raajtram):

 Duly noted on the priority and file-naming. Makes complete sense. Thanks
 @danieltj!

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/3523#comment:3>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org