Merge commit '30d031b5d8d05422586043c3f105f4d9110e4f59' into HEAD

This commit is contained in:
Frederik Rietdijk
2018-02-08 12:14:07 +01:00
100 changed files with 674 additions and 507 deletions
+1 -1
View File
@@ -2,7 +2,7 @@
with stdenv.lib;
import ./generic.nix (args // rec {
buildLinux (args // rec {
version = "4.14.18";
# branchVersion needs to be x.y