minor documentation fix for Shan-Chen
Failed
Michael Kuron
created pipeline for commit
7ae8e2b3
, finished
1 related merge request: !21 minor documentation fix for Shan-Chen
11 minutes 51 seconds, queued for 3 seconds