[PRQ#73627] Merge Request for high-tide Accepted

[notify]

Request #73627 has been Accepted by bertptrs [1]:

[Autogenerated] Accepted merge for high-tide into high-tide-git.

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