fix(mirror): resolve solved_by_pr from the effective (most-recent) close#189
Open
JSONbored wants to merge 1 commit into
Open
fix(mirror): resolve solved_by_pr from the effective (most-recent) close#189JSONbored wants to merge 1 commit into
JSONbored wants to merge 1 commit into
Commits
Commits on Jun 16, 2026
- committed
JSONbored