Closes #1666 (closed)
Pipeline #2608 passed
Pipeline passed for 9208bcf0 on JohannesPfeifer:MDD_Geweke 5 years ago
Merge details
Closed #1666 (closed)
Pipeline #2610 passed
Pipeline passed for 9036fae1 on master 5 years ago
enabled an automatic merge when the pipeline for 9208bcf0 succeeds
merged
mentioned in commit 9036fae1