Tim Hatch c593ccb529 Regenerate known_stdlibs.rs with stdlibs 2024.10.25 (#13963) ...

## Summary

`stdlibs` has a new release to properly categorize the `_wmi` module
which has been [present since
~2022](https://github.com/python/cpython/issues/89545#issuecomment-1227846806).


## Test Plan

Let CI run, this is only a trivial change to categorization data.

2024-10-28 08:37:54 -04:00

..

builtin_modules.rs

Add a new script to generate builtin module names (#12696)

2024-08-05 21:33:36 +01:00

known_stdlib.rs

Regenerate known_stdlibs.rs with stdlibs 2024.10.25 (#13963)

2024-10-28 08:37:54 -04:00

mod.rs

Add a new script to generate builtin module names (#12696)

2024-08-05 21:33:36 +01:00