Merge pull request #2486 from mbeddr/merge/mps20223

Merge maintenance/mps20223 into master
mbeddr · Aug 20, 2024 · 8803b91 · 8803b91
2 parents e9b440c + 6ad83d9
commit 8803b91
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/...tions/com.mbeddr.mpsutil.traceExplorer/models/com.mbeddr.mpsutil.traceExplorer.plugin.mps b/...tions/com.mbeddr.mpsutil.traceExplorer/models/com.mbeddr.mpsutil.traceExplorer.plugin.mps
@@ -12720,12 +12720,6 @@
         <node concept="3uibUv" id="1TNXcegIxES" role="1tU5fm">
           <ref role="3uigEE" to="mhbf:~SNode" resolve="SNode" />
         </node>
-        <node concept="2AHcQZ" id="1TNXcegGVg$" role="2AJF6D">
-          <ref role="2AI5Lk" to="mhfm:~NotNull" resolve="NotNull" />
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="1TNXcegGfiQ" role="2AJF6D">
-        <ref role="2AI5Lk" to="mhfm:~NotNull" resolve="NotNull" />
       </node>
     </node>
     <node concept="3Tm1VV" id="1TNXcegzj9h" role="1B3o_S" />