This repository has been archived by the owner on Nov 5, 2024. It is now read-only.

Fix memory leak #71

Merged

nvarner merged 1 commit into nvarner:master from laurmaedje:master

Apr 5, 2023

Contributor

laurmaedje commented Apr 4, 2023

No description provided.


          Fix memory leak

953ae24

laurmaedje mentioned this pull request

Ever-growing memory usage #66

Closed

2 tasks

nvarner merged commit 11f3d27 into nvarner:master

Owner

nvarner commented Apr 5, 2023

Thank you for the fix (and typst and comemo, I suppose)! I'll get this released soon.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet