Preparing for Dashing sync and patch release: 2019-08-01

The release is out!