[aur-requests] Deletion request for vscode-headmelted-bin
21 Jul
2019
21 Jul
'19
5:03 a.m.
Hi, I'm the maintainer for vscode-headmelted-bin and would like to have it deleted please. A user pointed out that it should be called code-headmelted-bin for consistency with other package names, so I've reuploaded it under the new name. Best, Alex
21 Jul
21 Jul
11:56 a.m.
On Sun, 21 Jul 2019 at 10:03, Alex Dewar
Hi,
I'm the maintainer for vscode-headmelted-bin and would like to have it deleted please. A user pointed out that it should be called code-headmelted-bin for consistency with other package names, so I've reuploaded it under the new name.
Best, Alex
Please use the web interface to submit requests.
1807
Age (days ago)
1807
Last active (days ago)
1 comments
2 participants
participants (2)
-
Alex Dewar
-
WorMzy Tykashi