dockfish-0.13.0-RC1

ce72

@cernst72

2d39e8be · [maven-release-plugin] prepare release dockfish-0.13.0-RC1 · Dec 10, 2017

[maven-release-plugin] copy for tag dockfish-0.13.0-RC1