Re: Jakarta EE migration tool release

2020-04-07 Thread Mark Thomas
On 07/04/2020 10:15, Emmanuel Bourg wrote: > Hi all, > > I'd like to start packaging the Jakarta EE migration tool for Debian > since it's now a prerequisite to build Tomcat 10. For that I'd need a > recent tag, do you think we could tag the current code as 0.0.2? Do we > need a formal vote at thi

Jakarta EE migration tool release

2020-04-07 Thread Emmanuel Bourg
Hi all, I'd like to start packaging the Jakarta EE migration tool for Debian since it's now a prerequisite to build Tomcat 10. For that I'd need a recent tag, do you think we could tag the current code as 0.0.2? Do we need a formal vote at this stage? Emmanuel Bourg -