21 Jul
2019
21 Jul
'19
5:56 p.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.