[GitHub] [geronimo-batchee] dependabot[bot] closed pull request #16: Bump tomcat-embed-core from 7.0.50 to 7.0.107 in /gui

2023-01-20 Thread GitBox
dependabot[bot] closed pull request #16: Bump tomcat-embed-core from 7.0.50 to 7.0.107 in /gui URL: https://github.com/apache/geronimo-batchee/pull/16 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to

[GitHub] [geronimo-batchee] dependabot[bot] commented on pull request #16: Bump tomcat-embed-core from 7.0.50 to 7.0.107 in /gui

2023-01-20 Thread GitBox
dependabot[bot] commented on PR #16: URL: https://github.com/apache/geronimo-batchee/pull/16#issuecomment-1398237525 Looks like org.apache.tomcat.embed:tomcat-embed-core is up-to-date now, so this is no longer needed. -- This is an automated message from the Apache Git Service. To respond