diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-12-05 18:04:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-05 18:04:41 +0100 |
commit | bfcf30f0abdfd1df4364919f203d04ff08d7314c (patch) | |
tree | 817212321f06e8cf7af8b47629e5902f61cf234f /src/libstore/globals.hh | |
parent | a21d9523b95fd7292a5a8825b1e772f7eda36ed9 (diff) | |
parent | e4f9f3bf246d66c57b07b45583469b98ba0db367 (diff) |
Merge pull request #7390 from Radvendii/fix-6383
check the store for input before failing (hopefully fix #6700)
Diffstat (limited to 'src/libstore/globals.hh')
0 files changed, 0 insertions, 0 deletions