tree d58cad43067f1bbe107f3e535e3d7620560e4ac3
parent 95aeff2f7bcff74bee19f58c605ec20f282d77c5
author Guillaume Nodet <gnodet@gmail.com> 1679480719 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1679480719 +0100

Fix release file names for mvn40