Skip to content

Retire the four route-gap/freeze collisions #9049 left on main: a frozen row naming a witness the floor already consumes - #9134

Closed
briansrls wants to merge 1 commit into
mainfrom
fix/route-gap-freeze-intersection
Closed

briansrls wants to merge 1 commit into
mainfrom
fix/route-gap-freeze-intersection

Commits

  1. Commits on Aug 24, 2026