| commit | 1e85bb755a4f5afcacd3b18397d5c35c820fcca1 | [log] [tgz] |
|---|---|---|
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | Wed Sep 08 21:19:52 2021 +0200 |
| committer | GitHub <noreply@github.com> | Wed Sep 08 21:19:52 2021 +0200 |
| tree | 478b1829e698a04c20b18c1834be2dfdd4a60b48 | |
| parent | 9683362fa51e51c5b58fb4f66db8b422055adc27 [diff] |
Use overload to type get_global_option (#4978) * Use ``overload`` to type ``get_global_option`` * Use type alias and TypeVar Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com>