Damien Robert <damien.olivier.robert@xxxxxxxxx> writes: > From Junio C Hamano, Sun 05 Apr 2020 at 14:57:22 (-0700) : >> Why did you lose quotes around on-demand on this line? Shouldn't it >> be typeset the same way as the other one in the sentence "Defaults >> to ..."? > > Yes it should, sorry it's my mistake, I'll send a new version. Thanks. You may want to wait a bit so that (1) others can spot similar mistakes, if any, in the version on the list and (2) you yourself find some similar errors while waiting for others.
