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/libutil/xml-writer.hh | |
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/libutil/xml-writer.hh')
0 files changed, 0 insertions, 0 deletions