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 /.github | |
| 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 '.github')
0 files changed, 0 insertions, 0 deletions