make jakarta.servlet-api as both provided and optional

Signed-off-by: Ceki Gulcu <ceki@qos.ch>
qos-ch · Nov 18, 2022 · a64b8d4 · a64b8d4
1 parent 114b3de
commit a64b8d4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/logback-classic/pom.xml b/logback-classic/pom.xml
@@ -114,6 +114,7 @@
       <groupId>jakarta.servlet</groupId>
       <artifactId>jakarta.servlet-api</artifactId>
       <scope>provided</scope>
+      <optional>true</optional>
     </dependency>
 
     <dependency>