chiark / gitweb /
Merge branch 'nix-0' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:13:34 +0000 (18:13 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:13:34 +0000 (18:13 +0000)
Allow use of nix 0.28 (but don't update the lockfile yet)

See merge request iwj/hippotat!36


Trivial merge