Merge #14920: windows improvements, mainly mingw

2016-05-05 08:30:19 +02:00
parent 75f1cc61b8 7a005601d4
commit 1dc36904d8
74 changed files with 4268 additions and 3425 deletions
--- a/lib/maintainers.nix
+++ b/lib/maintainers.nix
@@ -147,6 +147,7 @@
  giogadi = "Luis G. Torres <lgtorres42@gmail.com>";
  gleber = "Gleb Peregud <gleber.p@gmail.com>";
  globin = "Robin Gloster <mail@glob.in>";
+  gpyh = "Yacine Hmito <yacine.hmito@gmail.com>";
  goibhniu = "Cillian de Róiste <cillian.deroiste@gmail.com>";
  Gonzih = "Max Gonzih <gonzih@gmail.com>";
  gridaphobe = "Eric Seidel <eric@seidel.io>";