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 Actions in the AUR interface to submit a deletion request... -- Eli Schwartz