Pipeline #48620 passed
Pipeline passed for a1d13dd2 on fixAndArgs 5 months ago
Pipeline #48744 passed
Pipeline passed for 38cf7d0a on master 5 months ago
assigned to @hjsc and @Lachnitt
mentioned in issue #34
Looks good to me.
approved this merge request
mentioned in commit 38cf7d0a
merged