[PRQ#78768] Deletion Request for mir-jit

edub4rt [1] filed a deletion request for mir-jit [2]: I am not maintaining this anymore and nobody is using it. [1] https://aur.archlinux.org/account/edub4rt/ [2] https://aur.archlinux.org/pkgbase/mir-jit/