Version 1.3

Release date: October 31, 2017

Bug fixes on all platforms.