3.1.5

mintty · May 20, 2020 · af86d35 · af86d35
1 parent 63557df
commit af86d35
Show file tree

Hide file tree

Showing 16 changed files with 3,044 additions and 2,997 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.1.4
+3.1.5
diff --git a/docs/mintty.1.html b/docs/mintty.1.html