Skip to content

Remove unnecessary warning suppression#485

Merged
mernst merged 1 commit into
plume-lib:masterfrom
mernst:warn-unneeded-efficiency
May 28, 2026
Merged

Remove unnecessary warning suppression#485
mernst merged 1 commit into
plume-lib:masterfrom
mernst:warn-unneeded-efficiency

Commits

Commits on May 28, 2026