diff options
| author | Blaž Hrastnik | 2021-08-24 14:43:05 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-08-26 00:21:07 +0000 |
| commit | 9d4c3015632abba2ae6713874907825f6335b71a (patch) | |
| tree | 02a28ed2b4418141e3a2598a531733e4506d275a /.github | |
| parent | 44a0512d951806cc98ab30ccc73009ba2631e42f (diff) | |
Reduce State use a bit further
This is a legacy type that should be fully removed.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions