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

haawda [1] filed a deletion request for juliadoc-git [2]: There is julia-docs-git, a split package in julia-git PKGBUILD, so I think this one is obsolete now. [1] https://aur.archlinux.org/account/haawda/ [2] https://aur.archlinux.org/pkgbase/juliadoc-git/