dockfish-0.20.1

ce72

@cernst72

d9c87d8b · [maven-release-plugin] prepare release dockfish-0.20.1 · Feb 12, 2020

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