diff --git a/devel.properties b/devel.properties
index 0943279..6e8ff74 100644
--- a/devel.properties
+++ b/devel.properties
@@ -1 +1 @@
-1.12.0.1514 2ebfdeaddcd9a93a796b1803ce69b6ef4184009be84dda80103ed9b9aee2bc42
+1.12.0.1517 38694e876c7a5360c16f4b7d2c3993b723201c58226d0938cd021765e33a51ef