GUB progress?

[Werner LEMBERG]

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