v . villenave Sun, 19 Apr 2020 08:50:13 -0700
Pushed as https://git.savannah.gnu.org/cgit/lilypond.git/commit/?id=b9255b50886e5e0de802a26fd486c908b0b55c0f
https://codereview.appspot.com/551650043/