Merge pull request #32036 from mbode/flink-1_3_2

flink: init at 1.3.2
2017-12-09 17:53:57 +00:00
parent 8af9da2147 dcd9d9f618
commit c7bf1b8a0e
3 changed files with 55 additions and 0 deletions
--- a/lib/maintainers.nix
+++ b/lib/maintainers.nix
@@ -403,6 +403,7 @@
  mbakke = "Marius Bakke <mbakke@fastmail.com>";
  mbbx6spp = "Susan Potter <me@susanpotter.net>";
  mbe = "Brandon Edens <brandonedens@gmail.com>";
+  mbode = "Maximilian Bode <maxbode@gmail.com>";
  mboes = "Mathieu Boespflug <mboes@tweag.net>";
  mbrgm = "Marius Bergmann <marius@yeai.de>";
  mcmtroffaes = "Matthias C. M. Troffaes <matthias.troffaes@gmail.com>";