Marcus Schäfer 445281c655 Bump version: 9.17.41 → 9.17.42		2019-07-08 12:05:47 +02:00
..
source	Bump version: 9.17.41 → 9.17.42	2019-07-08 12:05:47 +02:00
Makefile	Turn sphinx warnings into errors	2019-05-20 11:20:18 +02:00