dockfish-0.12.5

ce72

@cernst72

225f7f95 · [maven-release-plugin] prepare release dockfish-0.12.5 · Dec 04, 2017

[maven-release-plugin] copy for tag dockfish-0.12.5