[wp-trac] [WordPress Trac] #42434: Deleted plugin still exists?

[WordPress Trac]

#42434: Deleted plugin still exists?
--------------------------------+----------------------
 Reporter:  tazotodua           |       Owner:
     Type:  defect (bug)        |      Status:  closed
 Priority:  normal              |   Milestone:
Component:  WordPress.org site  |     Version:
 Severity:  normal              |  Resolution:  invalid
 Keywords:                      |     Focuses:
--------------------------------+----------------------
Changes (by SergeyBiryukov):

 * component:  General => WordPress.org site
 * milestone:  Awaiting Review =>


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