Denis Auroux - 2017-06-12

Thanks! but note that this was already in the cvs and git repositories...
Denis