Skip to content

Merge pull request #3963 from rettinghaus/develop-midi [skip-ci] #1867

Merge pull request #3963 from rettinghaus/develop-midi [skip-ci]

Merge pull request #3963 from rettinghaus/develop-midi [skip-ci] #1867

Check for libmei/addons

succeeded Feb 24, 2025 in 16s