From: Ian Jackson Date: Sun, 25 Feb 2024 17:39:09 +0000 (+0000) Subject: Merge branch 'metadata' into 'main' X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=9463b8b1ac24f7219f4832c5559d86342a94af8d;p=hippotat.git Merge branch 'metadata' into 'main' Use cargo metadata rather than trait hackery to cope with nix See merge request iwj/hippotat!33 --- 9463b8b1ac24f7219f4832c5559d86342a94af8d