diff options
author | Florian Diebold <[email protected]> | 2021-04-08 17:32:20 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 21:48:47 +0100 |
commit | 37cb6805afc397adf769391cec99b2e11d0d52e0 (patch) | |
tree | 4fa7eb0e13bfd254ff9b6bb09d7af4d1b996551a /.github | |
parent | be03db0e3a75533f34d48c3014d532919b30a9e9 (diff) |
Intern types
Performance about the same, memory reduced by ~5%.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions