Commit ac171542a6d2e6ad39f2e778c4ca26604b187d04

Patrick Steinhardt 2019-08-01T17:45:14

Merge pull request #5184 from novalis/fix-example Fix example checkout to forbid rather than require --