diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-30 19:10:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 19:10:38 +0100 |
| commit | 8f3dde18f1a264de5a71bee76a706d76111f2b17 (patch) | |
| tree | cafa2620ebc6ff5fed9041bec24a4bac2d7e251d /misc | |
| parent | c653e9c47049057683020fb87e364f6c4d6989dc (diff) | |
| parent | 40403b02fb203068f9b6ee6cbf74170c562a4379 (diff) | |
Merge pull request #43504 from AndreaCatania/gds_fix_2
Implement proper error print, Fixes a crash when no error messages are generated by the analyser.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions