Repository navigation

Fix NodaTime LocalDate subtraction and BCE year extraction - #4109

Merged

roji merged 3 commits into

mainfrom

roji-nodatime-date-triage

Oct 25, 2026

Merged

Fix NodaTime LocalDate subtraction and BCE year extraction#4109
roji merged 3 commits into
mainfrom
roji-nodatime-date-triage

Commits on Oct 25, 2026
- Translate NodaTime LocalDate subtraction using age()
  
  roji
  and
  Copilot
  committed
  53aaea8
- Fix NodaTime BCE year extraction
  
  roji
  and
  Copilot
  committed
  237ade6
- Avoid repeated date evaluation in NodaTime year extraction
  
  roji
  and
  Copilot
  committed
  747edba