Skip to content

fix(extensions): set-priority repairs corrupted boolean priority#3268

Merged
mnriem merged 1 commit into
github:mainfrom
jawwad-ali:fix/extension-set-priority-bool
Jul 13, 2026
Merged

fix(extensions): set-priority repairs corrupted boolean priority#3268
mnriem merged 1 commit into
github:mainfrom
jawwad-ali:fix/extension-set-priority-bool

fix(extensions): set-priority repairs corrupted boolean priority

d20b452
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ruff
succeeded Jul 13, 2026 in 11s