Version 3.1.2 released

Version 3.1.3 was released today, which just contains one bug fix for the badge creation.

Details can be found in the changelog.