Closed joncfoo closed 5 years ago
With the change of this to Joe's proposal to make _hard_close public, we are in favor of this. Once that change has been made. We'd be happy to accept. Pending further comments.
@Theodus do you have time to update the bookkeeping on this, create the issue etc?
With the change of this to Joe's proposal to make _hard_close public, we are in favor of this. Once that change has been made. We'd be happy to accept. Pending further comments.