Commit 49c1d04e authored Nov 25, 2019 by Andreas Klöckner

Merge branch 'fix-example' into 'master'

Fix bitrot in example; add Examples CI job

See merge request !34