mirror of
https://github.com/nim-lang/Nim.git
synced 2026-08-15 19:39:33 +00:00
(fixes #12813 and #13079) (cherry picked from commit e40dee6162a1ca364da1da2ecab546e0a28778f0)
(fixes #12813 and #13079) (cherry picked from commit e40dee6162a1ca364da1da2ecab546e0a28778f0)