From 415bd73893f2cfec1135c484491193fac0c87bbe Mon Sep 17 00:00:00 2001
From: Stephane Nicoll <snicoll@pivotal.io>
Date: Tue, 10 Jul 2018 08:43:13 +0200
Subject: [PATCH] Fix devtools module declaration

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 70820e046..793e39e1a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -106,7 +106,7 @@
     <dependency>
       <groupId>org.springframework.boot</groupId>
       <artifactId>spring-boot-devtools</artifactId>
-      <scope>runtime</scope>
+      <optional>true</optional>
     </dependency>
   </dependencies>