On Sat, Dec 3, 2016 at 8:12 PM, Chris McGee <newton...@gmail.com> wrote: > > The tests seem to be passing. I will try more rigorous tests. If the github > bug gets fixed then I can submit pull requests.
The bug that was preventing me from pushing to GitHub is now fixed, so if you update feel free to pull request away. - Dave
