Repository navigation

Allow -R region starting with a decimal point (e.g. -R.5/1/.5/1) - #9242

Merged

Esteban82 merged 1 commit into

fix-region-leading-dot

Oct 1, 2026

Merged

Allow -R region starting with a decimal point (e.g. -R.5/1/.5/1)#9242
Esteban82 merged 1 commit into
masterfrom
fix-region-leading-dot

Commits on Oct 1, 2026
- Allow -R region starting with a decimal point (e.g. -R.5/1/.5/1)
  
  Esteban82
  and
  claude
  committed
  404c3fa