[PRQ#87732] Adoption Request for tla-tools Accepted

[notify]

Request #87732 has been Accepted by Muflone [1]:

[Autogenerated] Accepted adoption for tla-tools.

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