diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-25 20:09:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-25 20:09:52 +0100 |
| commit | d9fd16c8e4de693400f7cfbaa20f198535eb13ca (patch) | |
| tree | ce6d6ef89b48b738a5021d3e80461ebee968f386 /misc | |
| parent | a6fce87d20e83491b10d3fc58ff1141d59c20407 (diff) | |
| parent | 26a26d6657a18eb4a13d3e810885a65bd5b040ef (diff) | |
Merge pull request #53954 from Chaosus/fix_quit_errors
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions