konstin 770d7365c4 Fix compilation and docs
The compilation part is effectively a cherry pick from master
2018-04-15 01:39:43 +02:00
..
2018-04-15 01:39:43 +02:00