Merge branch 'develop' (early part)
Merge branch 'develop' (early part)
Merge branch 'develop' (early part)
misc edits
persistent vector tests and fixes for nested implementations
[maven-release-plugin] prepare release core.matrix-0.8.0
[maven-release-plugin] prepare for next development iteration
Merge branch 'develop' (early part)
Merge branch 'master' into develop