This repository has been archived by the owner on Jul 1, 2024. It is now read-only.
Avoid redundant pings#367
Merged
elibarzilay merged 2 commits intoDefinitelyTyped:masterfrom elibarzilay:avoid-redundant-pingsMar 3, 2021
+441-14
