v0.20 protected

Wouter Beugeling

@wbeugeling

7127ec7c · Merge develop to master · Oct 02, 2017

Minor modifications since last version