duplicate arm test results?

[Andreas Schwab]

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.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."