Re: [aur-general] delete request for msh-git

2016-11-24 Thread Eli Schwartz via aur-general
On 11/24/2016 05:47 PM, Myles English via aur-general wrote: > Hello, > Please could a TU delete > > https://aur.archlinux.org/packages/mshr-git/ > > it has been provided as part of dolfin-git for some time (I am the > maintainer). > > Thanks, > Myles > Use "Submit Request" from Package

Re: [aur-general] delete request for msh-git

2016-11-24 Thread G. Schlisio
> Hello, > Please could a TU delete > > https://aur.archlinux.org/packages/mshr-git/ > > it has been provided as part of dolfin-git for some time (I am the > maintainer). > > Thanks, > Myles > You should file a request via AUR web interface. Thats the official way to do what you intend.

[aur-general] delete request for msh-git

2016-11-24 Thread Myles English via aur-general
Hello, Please could a TU delete https://aur.archlinux.org/packages/mshr-git/ it has been provided as part of dolfin-git for some time (I am the maintainer). Thanks, Myles