On Sep 23 2020, Jakub Jelinek wrote: > On Wed, Sep 23, 2020 at 12:37:52PM +0200, Andreas Schwab wrote: >> On Sep 23 2020, Jakub Jelinek via Gcc wrote: >> >> > Even that 8.4.1 20200918 is redundant, r8-10517 uniquely and shortly >> > identifies both the branch and commit. >> >> But it requires a repository to identify. Often, redundant information >> is useful. > > To identify what?
For example, how far apart they are. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
