Sure thing - thanks for calling that out. There is a manual process to go through to actually get this on the site, so do shout if things aren't showing up.
Jon On Thu, Jun 27, 2019 at 12:55 PM David Salter <wedevelopinj...@gmail.com> wrote: > Hi all, > > I’ve just noticed that a PR I made has been merged in ( > https://github.com/apache/tomee/commit/14a8179961bbbc26274654591616ecdd410d18a9 > < > https://github.com/apache/tomee/commit/14a8179961bbbc26274654591616ecdd410d18a9>), > but the web site hasn’t been updated. > > I think last time this happened, David had to manually edit the page as > the CMS didn’t update properly. > > Could someone take a look at this? > > The page in question is > http://tomee.apache.org/tomee-8.0/docs/tomee-embedded-maven-plugin.html < > http://tomee.apache.org/tomee-8.0/docs/tomee-embedded-maven-plugin.html> > > And the Jira issue is https://issues.apache.org/jira/browse/TOMEE-2484 < > https://issues.apache.org/jira/browse/TOMEE-2484> > > I’ll mark the task as closed when this is done :) > > Thanks. > > David. > >