fixes #38 (closed) and #43 (closed)
Pipeline #22790 passed
Pipeline passed for 08fe2115 on elephant-skip-tests 1 year ago
Merge details
Closed #38 (closed) and #43 (closed)
Pipeline #22791 passed
Pipeline passed for 13db24cf on master 1 year ago
merged
mentioned in commit 13db24cf