On 2020/04/11 09:44:26, Valentin Villenave wrote: > What could be the cause?
So, pushed as https://git.savannah.gnu.org/cgit/lilypond.git/commit/?id=0cfef7069e86f85ad392f5c4bc63f6c4801aa2c9 V. https://codereview.appspot.com/557640051/
On 2020/04/11 09:44:26, Valentin Villenave wrote: > What could be the cause?
So, pushed as https://git.savannah.gnu.org/cgit/lilypond.git/commit/?id=0cfef7069e86f85ad392f5c4bc63f6c4801aa2c9 V. https://codereview.appspot.com/557640051/