Merge branch 'master' into staging

2020-07-18 17:50:23 +02:00
parent 5b14758d31 41a323711a
commit 4244b73917
181 changed files with 6696 additions and 6649 deletions
@@ -2,11 +2,11 @@

 stdenv.mkDerivation rec {
  pname = "jenkins";
-  version = "2.235.1";
+  version = "2.235.2";

  src = fetchurl {
    url = "http://mirrors.jenkins.io/war-stable/${version}/jenkins.war";
-    sha256 = "0pb7dy95ygvyb25hm6akf40f5gr5wa2njad7ncglrpmz14xfnxb3";
+    sha256 = "16rn5fbafkiriwzk6mr37am1270d64w6ngijr81kf7hpmz7lq4lp";
  };

  buildCommand = ''