diff options
-rw-r--r-- | dev-lang/micropython/files/micropython-1.17-gcc13-build-fix.patch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/micropython/files/micropython-1.17-gcc13-build-fix.patch b/dev-lang/micropython/files/micropython-1.17-gcc13-build-fix.patch index d791227a9a3c..306db8d9caa8 100644 --- a/dev-lang/micropython/files/micropython-1.17-gcc13-build-fix.patch +++ b/dev-lang/micropython/files/micropython-1.17-gcc13-build-fix.patch @@ -1,3 +1,6 @@ +https://github.com/micropython/micropython/pull/11402 +https://github.com/micropython/micropython/commit/32572439984e5640c6af46fbe7c27400c30112ce + From f1c6cb7725960487195daa5c5c196fd8d3563811 Mon Sep 17 00:00:00 2001 From: Damien George <damien@micropython.org> Date: Wed, 3 May 2023 15:23:24 +1000 |