Hi Eliot,
I've created a GitHub release for 201608171728 (see [1]) which is
considered to be stable. Feel free to add a changelog if you have some
time. You can find all commits after r3732 at [2].
Is there any particular milestone for the next release?
Best,
Fabio
--
Hi Eliot,I am currently traveling, but I'm happy to take care of this next week.
The procedure is really simple: basically you need to create a Git tag [1] which you can then turn into a GitHub release, or you can just do all of this in one step using GitHub's UI (see [2]).
Best,
Fabio