I have never used the commit ids, so from my point of view they can
safely be removed. (They also have not presented an annoyance, so if
people use them, I am also not opposed to keeping them.)

Andreas


Reply via email to