Well, we certainly would want to have test-patchy work again eventually, using the different server and issue tracker.
But then if we do get it to work again, getting the documentation back is just a revert away. As long as this change stays essentially with one commit and issue. https://codereview.appspot.com/250570044/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
