Merge pull request #66299 from jdanekrh/jd_fsharp_update_mono

fsharp41: 4.1.7 -> 4.1.34; mono = mono6
2019-08-26 19:53:30 +01:00
parent 5fd25ae833 e57b145a81
commit a9b4e7592f
11 changed files with 1435 additions and 30 deletions
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -2863,6 +2863,15 @@
    githubId = 1383440;
    name = "Jason Gilliland";
  };
+  jdanek = {
+    email = "jdanek@redhat.com";
+    github = "jdanekrh";
+    keys = [{
+      longkeyid = "ed25519/0x69275CADF15D872E";
+      fingerprint = "D4A6 F051 AD58 2E7C BCED  5439 6927 5CAD F15D 872E";
+    }];
+    name = "Jiri Daněk";
+  };
  jdehaas = {
    email = "qqlq@nullptr.club";
    github = "jeroendehaas";