Maven artifacts for 1.13.0
Maven artifacts for 1.13.0
Merge branch 'master' into release