Tags 1111242 -moreinfo On 16/08/2025 03:50, Peter Green wrote:
oops, screwed up my reverse dependency checks, rust-warp still uses this, tagging moreinfo for now (we do want to remove this, just not quite yet).
rust-warp no longer depends on rust-headers-0.3, removing moreinfo.

