Merge pull request #1423 from microsoft/main

Merge main into release_mdd
microsoft · Oct 23, 2023 · 3ac1f31 · 3ac1f31
2 parents b9fb9ed + 56e34e4
commit 3ac1f31
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/MICore/Logger.cs b/src/MICore/Logger.cs
@@ -97,6 +97,7 @@ public static void Reset()
             {
                 HostLogger.Reset();
                 s_isEnabled = false;
+                s_isInitialized = false;
             }
         }