Frederik Rietdijk 769342b37b Merge remote-tracking branch 'upstream/master' into HEAD		2018-01-24 14:17:49 +01:00
..
darwin	Merge pull request #25713 from jbaum98/darwin-trash	2018-01-12 09:34:03 +01:00
gnu
linux	Merge remote-tracking branch 'upstream/master' into HEAD	2018-01-24 14:17:49 +01:00
windows	mingw-w64-pthreads: The C compiler is needed	2018-01-02 19:01:18 -05:00