I am writing to submit a revision of a patch for consideration to be included 
in the mainline GCC repository discussed in [1].

The only change is that this include the following suggestion [2]

[1] https://gcc.gnu.org/pipermail/gcc-patches/2023-December/639235.html
[2] https://gcc.gnu.org/pipermail/gcc-patches/2023-December/639308.html

Cheers,

Vincent.

Vincenzo Palazzo (1):
  nix: add a simple flake nix shell

 .gitignore            |  1 +
 contrib/nix/flake.nix | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 contrib/nix/flake.nix

-- 
2.43.0

Reply via email to