Closes #1633 (closed)
Pipeline #1770 passed
Pipeline passed for 031632ed on JohannesPfeifer:stoch_simul_no_varexo 5 years ago
Merge details
Closed #1633 (closed)
Pipeline #1773 passed
Pipeline passed for a0321786 on master 5 years ago
added bug label
enabled an automatic merge when the pipeline for 031632ed succeeds
merged
mentioned in commit a0321786