chiark / gitweb /
Merge branch 'metadata' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 17:39:09 +0000 (17:39 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 17:39:09 +0000 (17:39 +0000)
commit9463b8b1ac24f7219f4832c5559d86342a94af8d
treec1d51ac430b032c62cdfed15fd3a6492f792d5a4
parent3eeb6c571352278a6c8709273b2ed54ae9e49de9
parentd05864812aac6bcb5c3f8158ae2711d96975bc9b
Merge branch 'metadata' into 'main'

Use cargo metadata rather than trait hackery to cope with nix

See merge request iwj/hippotat!33