Consider making `Assembler::source_manager()` be `Send + Sync` #1822

Closed

Labels

Milestone

opened

on May 16, 2025

Context: 0xMiden/miden-base#1353 (comment)

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

v0.15.0

Relationships

None yet

Development

No branches or pull requests