issue #238 (closed)
Link to Shedu?
requested review from @lpaoli
assigned to @aherrero
changed the description
added 1 commit
Compare with previous version
approved this merge request
enabled an automatic merge when the pipeline for e82d06d2 succeeds
mentioned in commit d08773ed
merged