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

[notify at aur.archlinux.org]

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

I agree with coderobe's analysis
(https://lists.archlinux.org/pipermail/aur-
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/