From 6bc3af8bf072556865a7a479709613c56f23772d Mon Sep 17 00:00:00 2001
From: Oliver Drotbohm <odrotbohm@vmware.com>
Date: Mon, 17 Aug 2020 09:42:45 +0200
Subject: [PATCH] DATAREST-1557 - Upgrade to HAL Explorer 0.13.

---
 spring-data-rest-hal-explorer/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spring-data-rest-hal-explorer/pom.xml b/spring-data-rest-hal-explorer/pom.xml
index cbf2fa060..fa6579b83 100644
--- a/spring-data-rest-hal-explorer/pom.xml
+++ b/spring-data-rest-hal-explorer/pom.xml
@@ -13,7 +13,7 @@
 	<name>Spring Data REST - HAL Explorer</name>
 
 	<properties>
-		<explorer.version>0.12.0</explorer.version>
+		<explorer.version>0.13.0</explorer.version>
 		<json-editor.version>0.7.21</json-editor.version>
 		<java-module-name>spring.data.rest.hal.explorer</java-module-name>
 		<!--