[PRQ#40285] Orphan Request for emacs-idris-mode-git Accepted

22 Feb 2023


      Request #40285 has been Accepted by yochananmarqos [1].

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

notify＠aur.archlinux.org