These type annotations are no longer needed once we have a bidirectionality hint on tele_app.
Requires stdpp!342 (merged) and !763 (merged).
00:12:24
3 years ago
No artifacts found
00:13:30
00:06:52
