Updates:
Labels: -Patch-countdown Patch-push
Comment #3 on issue 4492 by [email protected]: Redundant music-has-type ->
music-is-of-type?
https://code.google.com/p/lilypond/issues/detail?id=4492
Patch counted down - please push --You received this message because this project is configured to send all issue notifications to this address.
You may adjust your notification preferences at: https://code.google.com/hosting/settings
