Version 4.3.1

Release date: July 11, 2019

We squashed some bugs and made minor improvements.