tree 907a9deafb058b4ad10a1b9051e9b645a344de1b
parent fd11c536e50f9ac1dce62ae4ed4c055975ab6ab1
author Philipp Wagner <phw@lowrisc.org> 1572436306 +0000
committer Philipp Wagner <mail@philipp-wagner.com> 1572447636 +0000

[ci] Fix comment