Skip to content

add Envelope::is_empty#190

Merged
adamreichold merged 3 commits intomasterfrom
mkirk/add-is-empty
Mar 2, 2026
Merged

add Envelope::is_empty#190
adamreichold merged 3 commits intomasterfrom
mkirk/add-is-empty

Commits

Commits on Feb 28, 2025

Commits on Mar 2, 2026