Updates:
Status: Fixed
Labels: -Patch-push Fixed_2_19_24
Comment #4 on issue 4492 by [email protected]: Redundant music-has-type ->
music-is-of-type?
https://code.google.com/p/lilypond/issues/detail?id=4492
Pushed to staging as
commit 2ca356d824f37951de81d60f76eaaaefda436cff
Author: David Kastrup <[email protected]>
Date: Sat Jul 11 17:55:09 2015 +0200
Issue 4492: Redundant music-has-type -> music-is-of-type?
--
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
