lilydjwg/gitli — comment on commit 844367dc92dc8f9862dba8a6fd8ff3a3fe2c3b76
File:  line 0
By bartdag:

Thanks very much for your patch. At first sight, it looks very reasonnable (and minimal, which is the focus of gitli). I'll merge it as soon as I have a minute.