Skip to content

Fix Optional.sendingTake() sendability issues#62

Merged
gjcairo merged 1 commit intomainfrom
disconnected
Mar 3, 2026
Merged

Fix Optional.sendingTake() sendability issues#62
gjcairo merged 1 commit intomainfrom
disconnected

Commits

Commits on Mar 3, 2026