From 2022-10-27: ODD Thursday

merged:

  • Fix sources #1025
  • Fix issue 120 (guidelines repo) #1037
Added by musicEnfanthen
From 2022-10-27: ODD Thursday
Fix(docs): Fix issue 120 (guidelines repo) music-encoding#1037 opened by riedde changes to source: docs, examples or web (assigned automatically)
Changes approved
From 2022-10-27: ODD Thursday
Fix sources music-encoding#1025 opened by kepper changes to source/modules/* (assigned automatically) changes to source: docs, examples or web (assigned automatically)
Changes approved