Skip to content

fix: credit earliest-merged PR in find_solver_from_cross_references - #758

Merged
anderdc merged 2 commits into
entrius:testfrom
edwin-rivera-dev:fix/solver-attribution-earliest-merged
Apr 28, 2026
Merged

fix: credit earliest-merged PR in find_solver_from_cross_references#758
anderdc merged 2 commits into
entrius:testfrom
edwin-rivera-dev:fix/solver-attribution-earliest-merged

Commits

Commits on Apr 24, 2026

Commits on Apr 28, 2026