gbin contributed to copper-project/copper-rs

Wait 5 sec.

gbin merged copper-project/copper-rs#1221 · July 23, 2026 14:05 back to only local deps #1221 This is UNMANAGEABLE if this is not head devSummaryRelated issuesCloses #ChangesReminder I ran just from the repo root I have updated doc… +49 -9