[aur-requests] [PRQ#32127] Deletion Request for bat-extras-git

2 Feb 2022

      grawlinson [1] filed a deletion request for bat-extras-git [2]:

Package is in the community repository now. Thanks for maintaining! :)

[1] https://aur.archlinux.org/account/grawlinson/
[2] https://aur.archlinux.org/pkgbase/bat-extras-git/

notify＠aur.archlinux.org