Release

Fix crash from highlight selection plugin when deleting selection #449

Sign in to view logs

Triggered via pull request July 23, 2025 14:53

jeremypw

closed #1622

jeremypw/fix-highlight-crash

Status Skipped

Total duration 1s

Artifacts –

release.yml

on: pull_request