diff --git a/devel.properties b/devel.properties index 3fcded2..21ef5ea 100644 --- a/devel.properties +++ b/devel.properties @@ -1 +1 @@ -1.12.0.1488 bc19be0010bef0421c26fd3bec7bc3bca08c192828d59a151845422dc4420742 +1.12.0.1495 18cc13f87c74ec4f177bd83c4416d9ec2bb9142860db06055af7598e1b82949c