[aur-requests] [PRQ#26486] Orphan Request for btor2tools-git Rejected

[notify--- via aur-requests]

Request #26486 has been rejected by Muflone [1]:

the package was updated

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