display of sets in variable preview is sometimes too long #439
Okay, I will make sure to branch in the future.…
On 17 Dec 2018, at 9:44 pm, Christian Lawson-Perfect ***@***.***> wrote: Thanks! I've merged it in. For future reference: it makes my life easier if you create a separate branch for each pull request. That way, if you have more than one pull request open at once, I can merge them separately. — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.