The source project of this merge request has been removed.
Track if garbage collection is necessary.
This is useful for precondition checks in client code.
PR includes the bugfix from !5 (closed)
This is useful for precondition checks in client code.
PR includes the bugfix from !5 (closed)