chiark / gitweb /
Merge branch 'nix-1' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 17:39:42 +0000 (17:39 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 17:39:42 +0000 (17:39 +0000)
commitc3a18ce7ea386c62c910cdb710814bc31364b3c1
tree91b4a2c699323d4fe9c069759265703ace41d6cf
parent9463b8b1ac24f7219f4832c5559d86342a94af8d
parent1a494334e78b6a97bdbccd2b3bea459aea69ed92
Merge branch 'nix-1' into 'main'

build.rs and compat: use ge not equality

See merge request iwj/hippotat!34