[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:
--------------------------------+----------------------

Comment (by swissspidy):

 @tazotodua Yes, you should believe that an email is enough. And of course
 the plugin team would not simply delete a plugin right away and reach out
 to the author first.

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