mypy
cf863877 - "mypy Gitter" is dead; it is called "python/typing" (#15610)

Commit

2 years ago

"mypy Gitter" is dead; it is called "python/typing" (#15610)

References

#15610 - "mypy Gitter" is dead; it is called "python/typing"

Author

stdedos

stdedos

Parents

Loading