v1.3.1
712ea0ac · Merge pull request #10990 from murgatroid99/version_1.3.1_bump · May 05, 2017