diff options
| author | Florian Diebold <[email protected]> | 2020-06-19 17:32:42 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-06-19 21:07:58 +0100 |
| commit | 170cdf90769d7a2779ffd0a8cb552e5b2f63d11c (patch) | |
| tree | d0930615d22a99de16b502ea99409cca5313c922 /.gitattributes | |
| parent | 1d4388f6bd02e6dda816028f0bdac7b39225ca0b (diff) | |
Shift bound variables correctly when using assoc type shorthand
Fixes #4885.
Fixes #4800.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions