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

[WordPress Trac]

#42434: Deleted plugin still exists?
--------------------------+-----------------------------
 Reporter:  tazotodua     |      Owner:
     Type:  defect (bug)  |     Status:  new
 Priority:  normal        |  Milestone:  Awaiting Review
Component:  General       |    Version:
 Severity:  normal        |   Keywords:
  Focuses:                |
--------------------------+-----------------------------
 Once, I had a plugin:
 https://wordpress.org/plugins/another-simple-xml-sitemap/

 Several months ago, I've deleted that from SVN.
 however, it still shown in WP plugins directory (and even comes in "my
 plugins" list). (try to download it - you get error).

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