On Sat, Jun 02, 2018 at 02:54:34PM -0500, Robert Goldman wrote:
> Squashed and merged this, pushed, and deleted the feature branch.
>
> Thanks to Eric Timmons for detecting the bug, and to Fare and Attila for
> reviewing the fix.
>
> We can think about a bug fix release sometime soon. I think
Squashed and merged this, pushed, and deleted the feature branch.
Thanks to Eric Timmons for detecting the bug, and to Fare and Attila for
reviewing the fix.
We can think about a bug fix release sometime soon. I think right
before merging the syntax fix, which should give us the basis for
