mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-30 16:40:41 +08:00
also fix another CI merge race issue Co-authored-by: hauntsaninja <>
also fix another CI merge race issue Co-authored-by: hauntsaninja <>