gbin merged copper-project/copper-rs#1177 · July 2, 2026 14:52 v1.0.0 release #1177 SummaryFinally.Related issuesCloses #ChangesReminder I ran just from the repo root I have updated docs or examples where neededAddition… +240 -191