last hot fix about 1 hour or so ago

2019-04-16: A new hotfix (0.9.5.7) is now available!