Closes #9 (closed)
Pipeline #45428 passed
Pipeline passed for fab8c0c2 on manifest Nov 12, 2020
Pipeline #45429 passed
Pipeline passed for 452dc46e on master Nov 12, 2020
merged
mentioned in commit 452dc46e