Fix type hints for pipe using overloads. Fixes #355, #285#372
Merged
dbrattli merged 7 commits intomaster from feature/pipe-typingMay 11, 2019
+176-8
Commits
Commits on May 10, 2019
Commits on May 11, 2019
- committed
- committed
- committed
- committed
- committed
- authored