diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-04-14 10:50:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-14 10:50:50 +0200 |
| commit | 7eac8838df029c9dfeac6db149a306ed72c02555 (patch) | |
| tree | 81f5ccac5cd9e822b931401a9e648b9024a9711f /src/libmain/shared.cc | |
| parent | 33fc09c2a52ff4e0b51ab922cd7cdca9f7924435 (diff) | |
| parent | de3df3009bf003f327d35e246d5904d93273e2e9 (diff) | |
Merge pull request #8199 from tweag/fix-sqlite-busy-reporting
Fix unnecessary reporting of SQLite busy errors
Diffstat (limited to 'src/libmain/shared.cc')
0 files changed, 0 insertions, 0 deletions