Update dist

chris-rudmin released this 15 Jul 06:09

· 406 commits to master since this release

Forgot to commit the updated dist files.
Fix some build issues with submodule tags.
Clarified build instructions

Assets 2