dockfish-0.19.13

ce72

@cernst72

8d7fc7d0 · [maven-release-plugin] prepare release dockfish-0.19.13 · Sep 29, 2019

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