From 51e735b6545eb1b654f8f5f724de202dc01ed3c5 Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Tue, 31 Oct 2023 14:19:28 -0700
Subject: [PATCH] Add (disabled, by default) dependency management for Apache
 Tomcat overridding Spring Boot's declared Apache Tomcat version for testing
 purposes.

---
 gradle/dependency-management.gradle | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gradle/dependency-management.gradle b/gradle/dependency-management.gradle
index 614ecb2f..a3bb1be8 100644
--- a/gradle/dependency-management.gradle
+++ b/gradle/dependency-management.gradle
@@ -1,5 +1,6 @@
 //ext['jetty.version'] = "$eclipseJettyVersion"
 //ext['micrometer.version'] = "$micrometerVersion"
+//ext['tomcat.version'] = "$tomcatVersion"
 
 dependencyManagement {
 	imports {