Is this needed in some environments/with some git versions? git cl with a space always worked for me (just as all the regular git commands did). It doesn't hurt though, so LGTM.
https://codereview.appspot.com/282960043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
