Skip to content

typo fixes

Robin Engler requested to merge dev-r into master

Fix for a few typos in the slides.

Merge request reports