Folks,
we had some good progress with GUB. However, in the last few weeks
the development stalled, which is not good. I thus propose the
following.
* The pull requests as described in
https://lists.gnu.org/archive/html/lilypond-devel/2019-01/msg00221.html
should finally be applied. I think they are uncontroversial – or is
there any other reason that prevents application?
Alternatively, please give me (and Knut) write access to the GUB
repository so that we can do it by ourselves.
* A new development release should be done `officially' ASAP. Even if
it doesn't work OK on all platforms yet, it would serve the majority
of users and developers.
Werner