Skip to content

fix(api): add a hidden SetExtmarkOpts::_subpriority field on Nightly#272

Merged
noib3 merged 1 commit intomainfrom
fix-extmarks
Oct 14, 2025
Merged

fix(api): add a hidden `SetExtmarkOpts::_subpriority` field on Nightly#272
noib3 merged 1 commit intomainfrom
fix-extmarks

Commits

Commits on Oct 14, 2025