diff --git a/devel.properties b/devel.properties
index 1e15879..3fcded2 100644
--- a/devel.properties
+++ b/devel.properties
@@ -1 +1 @@
-1.12.0.1479 2a515c45755df1edf378fdfafb380251c7736de2db15f7dbe55ed7295f0d296c
+1.12.0.1488 bc19be0010bef0421c26fd3bec7bc3bca08c192828d59a151845422dc4420742