yep should be. The version is on the parent pom. Feel free to open a jira and submit a patch.
Thanks for the notice anyway -- Jean-Louis Monteiro http://twitter.com/jlouismonteiro http://www.tomitribe.com On Mon, Oct 13, 2014 at 4:32 AM, Felipe Jaekel <fkjae...@gmail.com> wrote: > Hi, > > I noticed some interesting fixes in Tomcat 7.0.56 changelog. > > I'm not familiar with the TomEE versioning system, so I'd like to ask if > 1.7.2 is going to ship Tomcat 7.0.56. > > Thanks >
