diff options
author | stuebinm | 2022-02-17 00:06:22 +0100 |
---|---|---|
committer | stuebinm | 2022-02-17 00:06:22 +0100 |
commit | 487e06bf875ba8a835399b26095c756899b1209f (patch) | |
tree | fe396f0b3f22d9b0f7911beaac8c0d8e035d9be6 /.gitignore | |
parent | 3aaa5af92ec0ec4134ddc6e8ee0417c263161f66 (diff) |
server: remove a thunk leak
(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions