Closes #3 (closed)
Pipeline #1075 failed
Pipeline failed for 767c5c5c on 3-make-function-to-split-datas 6 years ago
Pipeline #1076 failed
Pipeline failed for 691b5f9a on master 6 years ago
enabled an automatic merge when the pipeline for 767c5c5c succeeds
canceled the automatic merge
merged
mentioned in commit 691b5f9a