On 10/6/16 Oct 6 -9:17 AM, Robert Goldman wrote: > I've tested Elias's two minor updates, and they pass all my tests, so I > will be merging them and tagging a new version (NOT a new RELEASE!) this > morning. 3.1.7.28 is pushed, with Elias's patches in place. Please test it out! Best, r