[wp-trac] [WordPress Trac] #28934: Remove unneeded div.separator from admin menu

[WordPress Trac]

#28934: Remove unneeded div.separator from admin menu
----------------------------+-----------------------------
 Reporter:  michalzuber     |       Owner:
     Type:  defect (bug)    |      Status:  closed
 Priority:  normal          |   Milestone:
Component:  Administration  |     Version:
 Severity:  normal          |  Resolution:  duplicate
 Keywords:  has-patch       |     Focuses:  administration
----------------------------+-----------------------------

Comment (by michalzuber):

 Replying to [comment:4 helen]:
 > Duplicate of #26960.
 Is there a way I can help with that? Where should I report these?
 The patch should fix it.
 I'm going over the {{{@TODO}}}s in the code.

--
Ticket URL: <https://core.trac.wordpress.org/ticket/28934#comment:5>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform