debian/1.10.0-patch1+docs-4

Gilles Filippini

@pini

f4b5e675 · debian/rules: fix javahelper invocation (closes: #871506) · Aug 13, 2017

hdf5 Debian release 1.10.0-patch1+docs-4