5 Jun
2018
5 Jun
'18
5:21 p.m.
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 right before merging the syntax fix, which should give us the basis for 3.4
Best to all, r
Cool,
Could you publish this version at [1] to ease its packaging?
Thanks a bunch.