Re: ChangeLog files - server and client scripts (git cherry-pick)

[Thomas Koenig via Gcc-patches]

Hm, one question: I find the r11-1234 type commit to be much more
readable, in ChangeLog files and everywhere else.

Would it be possible to have that format instead of
"cherry picked from commit $HEX_SOUP" ?