Skip to content

Conversation

@rettinghaus
Copy link
Member

Fixes lost information as reported in music-encoding/music-encoding#1731

@lpugin
Copy link
Member

lpugin commented Dec 5, 2025

Is changing the HTML the way to fix it?

@rettinghaus
Copy link
Member Author

Yes and no. We would have to make another release to properly fix it. This way at least it is correct in the online guidelines.

@lpugin
Copy link
Member

lpugin commented Dec 5, 2025

It does not feel like the right way to proceed, but that is for @bwbohl and @musicEnfanthen to decide

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants