Migrating from 3.1.1 to 3.1.2

Warning

Some patches was forgotten in this release. Update to 3.1.3 instead. These forgotten patche does not break anything, but the only changes from 3.1.1 is in the documentation, so updating to this version makes little sense.