Closed mschilli87 closed 7 months ago
@arogozhnikov: I have rebased this on the updated PR #24. Thus, this now bundles all changes as per your feedback.
Interestingly, I did not close this one, github closed it automatically
@arogozhnikov:
Interestingly, I did not close this one, github closed it automatically
That's because this includes #25 and #24 so merging either only this or both of those had the same effect. Thus I added the special 'closes [PR/issue]' directive to my PRs so merging one will automatically close those that become irrelavant by doing so.
This is a combination of #24 and #25 in one PR. Merging this will address all points raised in #23.
closes #23 closes #24 closes #25