Forked from
Maunium / synapse
Source project has a limited visibility.
-
Richard van der Hoff authored
In particular, add type hints for get_success and friends, which are then helpful in a bunch of places.
Richard van der Hoff authoredIn particular, add type hints for get_success and friends, which are then helpful in a bunch of places.
