whoops, I forgot that I had to always do touch ../Documentation/*.te?? before make would actually compile stuff. As a result, staging is broken.
I want to remove 9eb76031c027ffdccd2ea5cf86985617a00982b7 however, how do I do that? I know that I can force push 975c00a63710da2472f57fbb6d5a484541f27c66 (i.e. origin/staging^) to staging, which would remove 9eb76, but if anybody had pushed stuff to staging in the last 2 minutes, it would delete their work as well. Suggestions? Cheers, - Graham _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
