mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-04-25 00:13:00 +08:00
807f3a8fc6
Fixes #8778 Note that not fixing this has some advantages, particularly if stubsabot waits a little while after releases before making PRs (as discussed earlier). Specifically, it gives us more coverage of upstream versions and might provide a natural division of changes, compared to PRs that make updates corresponding to several upstream versions.