Version 3.1

Release date: October 31, 2017

Bug fixes on all platforms.