Hi, unfortunately I just tried pushing a cosmetic change from a detached HEAD, and instead my master branch has been pushed.
I have reverted the unsuitable commits for now and apologize for the inconvenience. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
