[wp-meta] [Making WordPress.org] #6490: top right search bar is broken

[Making WordPress.org]

#6490: top right search bar is broken
--------------------------+--------------------------------
 Reporter:  hztyfoon      |       Owner:  (none)
     Type:  defect (bug)  |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  General       |  Resolution:  reported-upstream
 Keywords:                |
--------------------------+--------------------------------

Comment (by hztyfoon):

 Thanks @dd32,

 Just to note:
 I created this PR https://github.com/WordPress/wporg-mu-plugins/pull/276
 for the mentioned issue https://github.com/WordPress/wporg-mu-
 plugins/issues/275

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