WorkingDirectory can be null (#10997)

gitextensions · May 31, 2023 · 02b10e6 · 02b10e6
1 parent cf15b75
commit 02b10e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GitExtUtils/ExternalOperationException.cs b/GitExtUtils/ExternalOperationException.cs
@@ -42,7 +42,7 @@ public ExternalOperationException(
         /// <summary>
         /// The working directory.
         /// </summary>
-        public string WorkingDirectory { get; }
+        public string? WorkingDirectory { get; }
 
         /// <summary>
         /// The exit code of an executed process.