[wp-trac] [WordPress Trac] #20598: WP.org menu is different when on Codex page(s)

[WordPress Trac]

#20598: WP.org menu is different when on Codex page(s)
--------------------------------+----------------------------
 Reporter:  DrewAPicture        |       Owner:
     Type:  defect (bug)        |      Status:  new
 Priority:  normal              |   Milestone:  WordPress.org
Component:  WordPress.org site  |     Version:
 Severity:  minor               |  Resolution:
 Keywords:                      |
--------------------------------+----------------------------

Comment (by nacin):

 We've requested a deploy which should fix this.

-- 
Ticket URL: <http://core.trac.wordpress.org/ticket/20598#comment:4>
WordPress Trac <http://core.trac.wordpress.org/>
WordPress blogging software