Closed kordejong closed 1 month ago
I propose to merge this PR, as it is an improvement compared to the current version. I will create a new issue (#703) to fine tune the implementation later. OK?
I propose to merge this PR, as it is an improvement compared to the current version. I will create a new issue (#703) to fine tune the implementation later. OK?
Ok. It is fine.
Closes #524