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

Request #13891 has been accepted automatically by the Arch User Repository package request system: The user polyzen deleted the package.