diff options
| author | tv <tv@krebsco.de> | 2017-06-29 22:04:58 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-06-29 22:04:58 +0200 |
| commit | 077a6a699129416cdeb0a9da3aba30d156e46b7a (patch) | |
| tree | d5588c0024a942fef6f4d597aedac5708dd7fa45 /makefu/2configs/sources | |
| parent | 10adb2d27e3005c7239585eb38dbbe3b5b01a400 (diff) | |
| parent | 51e091c7c3fb52579bc9ed59d1c7db633cd24e5b (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/sources')
| -rw-r--r-- | makefu/2configs/sources/musnix.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefu/2configs/sources/musnix.nix b/makefu/2configs/sources/musnix.nix index d02dd4a4..a5be303e 100644 --- a/makefu/2configs/sources/musnix.nix +++ b/makefu/2configs/sources/musnix.nix @@ -1,6 +1,6 @@ { krebs.build.source.musnix.git = { url = https://github.com/musnix/musnix.git; - ref = "37a8378"; + ref = "f0ec1f3"; }; } |