Closes #185 (closed)
Pipeline #526907 passed
Pipeline passed for 3660372e on windows_fix 6 months ago
Merge details
Closed #185 (closed)
Pipeline #526909 passed
Pipeline passed for 26271310 on master 6 months ago
merged
mentioned in commit 26271310