Skip to content

Update readme and minor fixes to slides

Robin Engler requested to merge update-readme into master

Merge request reports