diff --git a/specifications/dev b/specifications/dev
index 91652dfb..5c76733f 160000
--- a/specifications/dev
+++ b/specifications/dev
@@ -1 +1 @@
-Subproject commit 91652dfbd8fd29972411cebb992a67be2fdef1d6
+Subproject commit 5c76733fe3a1f97a3957909c879b15d57689f74e