Skip to content

doc: fix some typos in progress.rst

Stefano babic requested to merge github/fork/joerg-krause/patch-1 into master

Created by: joerg-krause

Fix some typos.

I hope it is okay to take the shortcut and propose this small patch within github.

Merge request reports