chiark / gitweb /
Merge branch 'build-rs-multi' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:30:40 +0000 (18:30 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:30:40 +0000 (18:30 +0000)
commitafdd79cc11f1eec54baa5b1ff32a07e728b0f594
tree82d1222382bd39d22a4a8c6aa2065ed157d75f88
parent763d06e4f11c339f265427cd6d644e1b761d09e9
parentd397a09f29d1117bbd061c436d9ab1fdcab64336
Merge branch 'build-rs-multi' into 'main'

build.rs: Prepare to handle multiple packages

See merge request iwj/hippotat!37