############################
What is new in Devilry 3.1.2
############################

Because of an error in the release process, this release did not
change anything other than documentation.