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

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. regards georg