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.