diff --git a/specifications/dev b/specifications/dev
index 5c76733fe..4dde15b3b 160000
--- a/specifications/dev
+++ b/specifications/dev
@@ -1 +1 @@
-Subproject commit 5c76733fe3a1f97a3957909c879b15d57689f74e
+Subproject commit 4dde15b3bca8572f9e9d08f834a78e6070dd1894