diff --git a/specifications/dev b/specifications/dev
index be9bc03c..6cedb639 160000
--- a/specifications/dev
+++ b/specifications/dev
@@ -1 +1 @@
-Subproject commit be9bc03c2e133d7835b69d698c29b1a3a3ea9a2d
+Subproject commit 6cedb639b4378c767dd11a0236e5c211b4ae32be