[PRQ#85222] Merge Request for tinymist-nightly-bin Accepted

[notify]

Request #85222 has been Accepted by hcartiaux [1]:

[Autogenerated] Accepted merge for tinymist-nightly-bin into tinymist-
bin.

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