[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  |
-------------------------------------+------------------
Changes (by danieltj):

 * keywords:  has-patch => has-patch needs-testing
 * priority:  high => normal


Comment:

 Hi @raajtram and welcome to Trac!

 Just a couple of pointers for future reference, a change like this is
 rather small and minor, so priority wise it probably fits into a normal or
 low priority level. Furthermore, when creating a patch, generally it's
 advised that you name the patch file either `3523.diff` or `3523.patch`.
 You don't have to, and it's still acceptable to name it how you have, but
 that is what is generally preferred so it's easier to see what ticket it
 affects.

 I've also tested the patch and it seems to work as expected. Good work! As
 it's a small fix, it'll probably be able to be committed soon-ish by
 someone with meta commit access when they're happy with it. Good job!

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