mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 05:00:26 +01:00
This contains a workaround to silence a possibly incorrect warning when building the Unix port with GCC targeting RISC-V 64 bits. Fixes issue #12838. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>