]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit 'b0edfa0ef02c0f4820cec0601a4fd85aba516428' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:34:43 +0000 (16:34 +0100)
committerThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:34:43 +0000 (16:34 +0100)
1  2 
gcc/rust/Make-lang.in

Simple merge