fitzgen opened PR #1710 from remove-unused-lhs-member to master:
This is dead code, left over from an earlier design.
fitzgen requested sunfishcode for a review on PR #1710.
abrown submitted PR Review.
fitzgen merged PR #1710.
Last updated: Jan 10 2026 at 02:36 UTC