gbin merged copper-project/copper-rs#1207 · July 20, 2026 05:39 weekly (on rust beta): fixes lints that will fail on us soon #1207 SummaryRelated issuesCloses #ChangesReminder I ran just from the repo root I have updated docs or examples where neededAdditional context +7 -7