| commit | 1f2b094d855bc3e701aaa5677347e92e16f3df2f | [log] [tgz] |
|---|---|---|
| author | Henner Zeller <h.zeller@acm.org> | Mon Apr 14 12:31:46 2025 -0700 |
| committer | GitHub <noreply@github.com> | Mon Apr 14 12:31:46 2025 -0700 |
| tree | 32f4701635834eb384df26946865937d4e1b9b46 | |
| parent | 7aae5c08b5a484dc9b24049c68a9e3c2a2a4a445 [diff] | |
| parent | ed6e53321792fc255aa786552d70dc24fab6a672 [diff] |
Merge pull request #2391 from hzeller/feature-20250414-refine-before-submit Refine before-submit.sh: also run under c++20 and c++23