Skip to content

doc: minor corrections

Wuttke, Joachim requested to merge doc4 into main

one typo, one rendering of backtick-quoted label

Merge request reports