diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-14 21:50:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-14 21:50:48 +0200 |
| commit | 5046f666a1181675b39f156c38346525dc1c444e (patch) | |
| tree | 442518e7def99a25559106f7bde5eb1f258c5f69 /doc/tools | |
| parent | 963a27f8a2a2d05bd6ed9a3b3673702622179821 (diff) | |
| parent | 687b1941b44f8ed560872cf2892bc66ea586db66 (diff) | |
Merge pull request #38610 from ThakeeNathees/infer-type-null-error
set parser error when infer type is null
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions