dockfish-0.19.3

ce72

@cernst72

976ee383 · [maven-release-plugin] prepare release dockfish-0.19.3 · Jul 15, 2019

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