Please find here a new patch release for OpenMusic version 7.5:
https://github.com/openmusic-project/openmusic/releases/download/v7.5/patch_070225.lisp
Note: this replaces all previous official patch releases.
Best
K
2 Likes