Closed monodo closed 3 years ago
@monodo and @nicolas-sitylb , thanks a lot for all the work!
How should we proceed? There are 3 PR open, but branches of #16 and #18 have been deleted, thus do we still need to merge these ones, or should we stick on merging only #17?
@kalbermattenm drop this repo and use our ;-) https://github.com/yverdon/pytree/ ;-) I'll close all this PR an open a new one from ou main branch
@monodo and @nicolas-sitylb , thanks a lot for all the work!
How should we proceed? There are 3 PR open, but branches of #16 and #18 have been deleted, thus do we still need to merge these ones, or should we stick on merging only #17?