]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8d96698 7ffdfcb)
Merge #1826
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Sat, 4 Feb 2023 23:42:46 +0000 (23:42 +0000)
committerGitHub <noreply@github.com>
Sat, 4 Feb 2023 23:42:46 +0000 (23:42 +0000)
1826: Removed comment copy-pasted from gcc/tree.def r=philberty a=powerboat9

Addresses #1640.

Co-authored-by: Owen Avery <powerboat9.gamer@gmail.com>

Trivial merge
Mirror of https://gcc.gnu.org/git/gcc.git