Clean up some Miri things in `sys/windows` - #131644

Merged

bors merged 2 commits into

rust-lang:masterfrom

RalfJung:win-miri

Oct 14, 2024

Commits on Oct 13, 2024

sys/windows: remove miri hack that is only needed for win7
RalfJung
committed
2ae3b1b
remove outdated comment now that Miri is on CI
RalfJung
committed
8d0a0b0