[PRQ#38305] Merge Request for stone-soup-git Accepted

[notify]

Request #38305 has been Accepted by muflone [1]:

[Autogenerated] Accepted merge for stone-soup-git into stone-soup-
tiles-git.

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