Fixes #3 (closed)
Pipeline #816 passed
Pipeline passed for 95758c77 on fix/3-svn-cp 6 years ago
Pipeline #817 passed
Pipeline passed for 044735c6 on master 6 years ago
merged
mentioned in commit 044735c6