Skip to content

Drop BP default_message; explicit identity_messages discipline#371

Merged
mtfishman merged 7 commits into
mainfrom
mf/drop-bp-default-message
May 14, 2026
Merged

Drop BP default_message; explicit identity_messages discipline#371
mtfishman merged 7 commits into
mainfrom
mf/drop-bp-default-message

Commits

Commits on May 13, 2026

Commits on May 14, 2026