22 Sep
2022
22 Sep
'22
7:03 p.m.
Request #37258 has been Accepted by polyzen [1]: [Autogenerated] Accepted merge for gnome-inform7 into inform7-ide. [1] https://aur.archlinux.org/account/polyzen/