Frederik Rietdijk ee6894ca12 Merge staging into master		2018-04-11 14:55:52 +02:00
..
darwin	Merge staging into master	2018-04-11 14:55:52 +02:00
gnu
linux	Merge master into staging	2018-04-10 19:23:42 +02:00
windows	mingw-w64: 4.0.6 -> 5.0.3	2018-03-20 13:09:53 -04:00