aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-06-19 17:32:42 +0100
committerFlorian Diebold <[email protected]>2020-06-19 21:07:58 +0100
commit170cdf90769d7a2779ffd0a8cb552e5b2f63d11c (patch)
treed0930615d22a99de16b502ea99409cca5313c922 /editors
parent1d4388f6bd02e6dda816028f0bdac7b39225ca0b (diff)
Shift bound variables correctly when using assoc type shorthand
Fixes #4885. Fixes #4800.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions