Unless I hear objections, I will push these two patches: mensural notation improvements http://codereview.appspot.com/3797046/
remove bar-size and replace its usage by bar-extent http://codereview.appspot.com/4025044/ on Friday, 3pm Scotland time. I am aware that the mensural notation patch does not contain a regtest. I am arbitrarily and unilaterally deciding that this doesn't matter in this specific case. We pretty much abandoned ancient music a few years ago; Benko is a very good contributor; he can make (or modify) a regtest in a separate patch. At the moment, I think it's more important to keep moving forward. If there are actual code problems, then of course I'll take those patches off the "to push" list. I'll make 2.13.47 right after pushing these patches. Benko: please send me git format-patch versions of those two patches. Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel