Closed dcesari closed 4 years ago
It is OK as is for me. Is this the correct branch to merge with?
You could merge it directly into the master branch. I close this PR, because some tests fail - see #201, which I reopened.
It is OK as is for me. Is this the correct branch to merge with?