v0.31 protected

Wouter Beugeling

@wbeugeling

0035fbd0 · Merge develop to master · Apr 09, 2018

New internal data structures