dockfish-0.13.1

ce72

@cernst72

17abe9c9 · [maven-release-plugin] prepare release dockfish-0.13.1 · Dec 17, 2017

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