Thanks Jon, Let me know when the change has been applied and I’ll check that the age looks ok.
Thanks. David. > On 2 Jul 2019, at 14:32, Jonathan Gallimore <jonathan.gallim...@gmail.com> > wrote: > > 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. >> >>
