[aur-requests] [PRQ#17169] Deletion Request for juliadoc-git Rejected

notify at aur.archlinux.org notify at aur.archlinux.org
Sun Jan 12 11:45:48 UTC 2020

Request #17169 has been rejected by diabonas [1]:

I agree with coderobe's analysis
requests/2020-January/036098.html) that juliadoc-git and julia-docs-
git appear to be separate projects with different purposes. I could
not find an answer by the requester on the aur-requests mailing list,
so I am rejecting this request.

[1] https://aur.archlinux.org/account/diabonas/

More information about the aur-requests mailing list