Could we give user valentin write permission for GIT? He'll only be touching documentation and possibly fixing typos in regtests.
Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel