tree 71315e6575cdd4f793de8e6d9c01e326379fb4d0
parent d9c266ce8a0e94e9849406a4f97d65f46bbd4288
author Massimo Manghi <mxmanghi@apache.org> 1542568322 +0100
committer Massimo Manghi <mxmanghi@apache.org> 1542568322 +0100

publish also the updated version of the manual