Repository navigation

emrg: a destination an option names is read as a write target - #1400

Merged

argszero merged 3 commits into

fix/option-destinations-are-write-targets

Sep 18, 2026

Merged

emrg: a destination an option names is read as a write target#1400
argszero merged 3 commits into
masterfrom
fix/option-destinations-are-write-targets

Commits on Sep 18, 2026
- emrg: a destination an option names is read as a write target
  EMRG Evolution
  committed
  1e8dfe6
- emrg: the families left uncovered are pinned with the verdict they get
  EMRG Evolution
  committed
  fdfff6f
- Merge remote-tracking branch 'origin/master' into fix/option-destinations-are-write-targets
  EMRG Evolution
  committed
  abeb4f6