[PRQ#37258] Merge Request for gnome-inform7 Accepted

[notify]

Request #37258 has been Accepted by polyzen [1]:

[Autogenerated] Accepted merge for gnome-inform7 into inform7-ide.

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