| commit | 509408b51347e7cc8629327356dfb51e637714f7 | [log] [tgz] |
|---|---|---|
| author | Chayim Refael Friedman <chayimfr@gmail.com> | Mon Apr 28 20:46:49 2025 +0000 |
| committer | GitHub <noreply@github.com> | Mon Apr 28 20:46:49 2025 +0000 |
| tree | a1cfc766587b24e5e28fece07706d182ffe01592 | |
| parent | f6dd41e9e2053f35434b677cdf2f156dd2ed5fc7 [diff] | |
| parent | 9e3bbd8acc275ac77380c80b198e21eb53bf7b17 [diff] |
Merge pull request #19710 from rust-lang/davidbarsky/add-additional-details-to-panic base-db: add more details to panic