101372127a
fixes the build. patch doesn't seem necessary any more as the mentioned PR has been merged. |
||
---|---|---|
.. | ||
default.nix |
101372127a
fixes the build. patch doesn't seem necessary any more as the mentioned PR has been merged. |
||
---|---|---|
.. | ||
default.nix |