Merge pull request #2485 from mbeddr/merge/mps20222

Merge maintenance/mps20222 into maintenance/mps20223
mbeddr · Aug 20, 2024 · afc49b9 · afc49b9
2 parents 75ea5be + 4f327b3
commit afc49b9
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
@@ -12714,12 +12714,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" />