21 Jul
2019
21 Jul
'19
3:56 p.m.
On Sun, 21 Jul 2019 at 10:03, Alex Dewar <alex.dewar@gmx.co.uk> wrote:
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.