diff options
| author |  Numerlor <[email protected]> | 2022-06-21 16:05:02 +0200 |
|---|---|---|
| committer | Numerlor <[email protected]> | 2022-06-21 19:23:33 +0200 |
| commit | 977363d6945ceb9b6bd6750f16c23998bbf3edc1 (patch) | |
| tree | 22a45bd19d56839c5e0a0933680dc79961ee3d7d /dev | |
| parent | Fix typehint (diff) | |
generalize handling of fully hashable args, and args with non-hashable parts
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions