dockfish-0.19.12

ce72

@cernst72

caf3372d · [maven-release-plugin] prepare release dockfish-0.19.12 · Sep 26, 2019

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