2019-01-09, 12:22 AM
Thanks for the report. I should have fixed this in github now.
I will start making stable release tags in the future, it should help avoid this.
I will start making stable release tags in the future, it should help avoid this.