Closes #288 (closed)
Pipeline #7723 passed
Pipeline passed for 53ae5917 on bug/remove_arrow_functions 6 years ago
Merge details
Pipeline #7804 failed
Pipeline failed for 79177aec on devel_0.12.x 6 years ago
merged
mentioned in commit 79177aec