[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 tazotodua):

 Replying to [comment:1 Ipstenu]:
 > You're supposed to email plugins at wordpress.org about that -
 https://developer.wordpress.org/plugins/wordpress-org/plugin-developer-faq
 /#how-do-i-close-my-plugin
 >
 > I've closed it for you, but next time please email us :)

 Should I believe what is written there - Is that enough to just send an
 email?

 Someone might send crafted email (set "FROM" address to the real author's
 email address).

 that could be a theoretically serious problem, right?

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