[PRQ#81922] Merge Request for antigravity Accepted

[notify]

Request #81922 has been Accepted by tippfehlr [1]:

[Autogenerated] Accepted merge for antigravity into antigravity-ide.

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