v3.1.2
1bbe7d3a · Merge pull request #178 from thockin/master · Jul 26, 2019