diff options
| author | Florian Diebold <[email protected]> | 2020-01-17 15:59:02 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-01-17 15:59:51 +0000 |
| commit | 33d637f2ddb5e5eab6d5dfaf75042dfc1a58d241 (patch) | |
| tree | 52d96e64a1235e3b22d5ed8e213a7b616d115aba /editors | |
| parent | 07dca1123dfaec527c6ba3164125309f5c4cc3db (diff) | |
Fix inference for shift operators
Fixes #2602.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions