| commit | a6bc4a4bbe6a65b71cbf76a0cf528c47a8d9f97f | [log] [tgz] |
|---|---|---|
| author | Chayim Refael Friedman <chayimfr@gmail.com> | Tue Sep 30 15:18:42 2025 +0000 |
| committer | GitHub <noreply@github.com> | Tue Sep 30 15:18:42 2025 +0000 |
| tree | c4bf552176714a82a1b6867ebda22b12c537fd7c | |
| parent | d733c07552a2dc0ec0cc8f4df3f0ca969a93fd90 [diff] | |
| parent | 6e04e82ff0b864106c30cf557ae470c0154476bb [diff] |
Merge pull request #20769 from ChayimFriedman2/ns-cleanup4 minor: Add regression test for another (long-standing) bug fixed by the new solver