[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:  dd32
     Type:  defect                   |      Status:  closed
 Priority:  normal                   |   Milestone:
Component:  General                  |  Resolution:  fixed
 Keywords:  has-patch needs-testing  |
-------------------------------------+---------------------

Comment (by dd32):

 In [changeset:"6902"]:
 {{{
 #!CommitTicketReference repository="" revision="6902"
 Learn, Main, Plugins, Themes: Update CSS styles following r6901.

 See #3523.
 }}}

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