Skip to content

fix: nearly identical input should give an intersection#1479

Merged
barendgehrels merged 1 commit into
boostorg:developfrom
barendgehrels:issue-1471
Jul 2, 2026
Merged

fix: nearly identical input should give an intersection#1479
barendgehrels merged 1 commit into
boostorg:developfrom
barendgehrels:issue-1471

fix: nearly identical input should give an intersection

ed87d43
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Compile headers
succeeded Jul 1, 2026 in 10m 54s