Merge branch 'release/v0.12.2'
Update to version v0.13.0
Merge branch 'release/v0.13.0'
Merge tag 'v0.13.0' into develop

release 0.13.0