[aur-requests] [PRQ#13891] Deletion Request for gmsh-docs

[notify at aur.archlinux.org]

gborzi [1] filed a deletion request for gmsh-docs [2]:

This package is now included in the PKGBUILD for gmsh, but I can't
"git push" until gmsh-docs is here. The error message is

remote: error: cannot overwrite package: gmsh-docs

[1] https://aur.archlinux.org/account/gborzi/
[2] https://aur.archlinux.org/pkgbase/gmsh-docs/