Marco Ricci
Retry connecting to a named pipe if the pipe is busy
88d5ab6 @ 2025-12-28 12:05:37
| .. | ||
|---|---|---|
| tomli.pyi | Fix usage of `mypy --python-version=3.9` and friends | 2025-01-16 01:28:57 |
Marco Ricci
Retry connecting to a named pipe if the pipe is busy
88d5ab6 @ 2025-12-28 12:05:37
| .. | ||
|---|---|---|
| tomli.pyi | Fix usage of `mypy --python-version=3.9` and friends | 2025-01-16 01:28:57 |