dockfish-0.19.15

ce72

@cernst72

15aeff3a · [maven-release-plugin] prepare release dockfish-0.19.15 · Nov 12, 2019

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