Skip to content
This repository has been archived by the owner on Mar 12, 2021. It is now read-only.

Actually put the workspace buffer back in the memory pool. #718

Merged
merged 1 commit into from
May 13, 2020

Conversation

maleadt
Copy link
Member

@maleadt maleadt commented May 12, 2020

The docstring already mentioned this, but we didn't actually do it. Might improve performance, although I don't expect it to have much impact. Doesn't hurt though.

@maleadt maleadt merged commit 3d1038f into master May 13, 2020
@bors bors bot deleted the tb/unsafe_free_workspace branch May 13, 2020 06:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant