Repository navigation

[bug-fix] Fix oversized-number-crash: bound Python --number parsing - #5200

Merged

mnriem merged 4 commits into

mainfrom

fix/5194-oversized-number-crash-4b620ea38b337406

Nov 3, 2026

Merged

[bug-fix] Fix oversized-number-crash: bound Python --number parsing#5200
mnriem merged 4 commits into
mainfrom
fix/5194-oversized-number-crash-4b620ea38b337406

Commits on Oct 30, 2026
- Fix oversized-number-crash: bound Python --number parsing
  
  github-actions[bot]
  and
  Copilot
  authored
  8bcee1b
Commits on Nov 2, 2026
- Fix zero-padded Git branch numbers
  
  Copilot
  and
  mnriem
  authored
  7bda569
- Reject exhausted auto-detected feature numbers
  
  Copilot
  and
  mnriem
  authored
  4faef89
- Merge remote-tracking branch 'origin/main' into fix/5194-oversized-number-crash-4b620ea38b337406
  
  Copilot
  and
  mnriem
  authored
  83d4de1