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

[notify at aur.archlinux.org]

Request #13891 has been accepted automatically by the Arch User
Repository package request system:

The user polyzen deleted the package.