https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93369
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Segher Boessenkool from comment #7)
> Why? Is there any advantage to that? The probability of having a collision
> anywhere in the repo is nihil with ten digits already, and anywhere in the
> world ever with twelve. Why do we want thirty-two?
Well, I'm not a fan of git gcc-descr. But my impression was that Jakub wants to
use it. I speak about:
$ git gcc-descr --full HEAD
r10-6232-g091fe099ba9093b8577ad4a10b56e18c6ea3daea
>
> [ Maybe I missed some mail thread, sorry if so. ]
