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