chore: disable NoMarkupInDocumentationTraitsValidator to unblock DB-ESDK

texastony · texastony · commit 6f387b0441a9 · 2024-07-01T15:20:05.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 1acfd7bc83c8195981d76949b9b4850f29ccaa56
+Subproject commit af4ee06bdf63496f55e1e1fd537e7b2d2d99e794
