Closed J-N-K closed 5 years ago
I have some more improvements in mind that are independent from this one. Should I add more commits or better create additional PR?
Independent PRs are usually the better choice. Please also make sure to give them a more explanatory title than "code improvements" as the PR title will be used for release notes (if it is an improvement that is more than some internal refactoring).
Signed-off-by: Jan N. Klug jan.n.klug@rub.de