TomEE 1.7.2 + Tomcat 7.0.56?

[Felipe Jaekel]

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