[aur-requests] [PRQ#13891] Deletion Request for gmsh-docs
21 Jan
2019
21 Jan
'19
9:27 p.m.
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/
22 Jan
22 Jan
12:31 a.m.
New subject: [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.
12:32 a.m.
New subject: [aur-requests] [PRQ#13891] Deletion Request for gmsh-docs Rejected
Request #13891 has been rejected by polyzen [1]: This package has been merged into gmsh. [1] https://aur.archlinux.org/account/polyzen/
2123
Age (days ago)
2124
Last active (days ago)
2 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org