Update nnf-dm submodule

bdevcich · bdevcich · commit fea1ef1e1488 · 2024-06-10T10:30:54.000-05:00
Signed-off-by: Blake Devcich &lt;blake.devcich@hpe.com&gt;
diff --git a/external/nnf-dm b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit 8928a1d352d1f83d9a2ad92cc0a43a5088aa9150
+Subproject commit 612bd95bb4c1b9533d256065e5beb1146dbb381a
