Supercalifragilisticexpialidocious

dra27 · Jun 10, 2024 · fa4d39f · fa4d39f
1 parent 2337441
commit fa4d39f
Show file tree

Hide file tree

Showing 6 changed files with 782 additions and 400 deletions.
diff --git a/master_changes.md b/master_changes.md
@@ -133,6 +133,7 @@ users)
 
 ## Client
   * Fix rounding error when displaying the timestamp in debug mode [#5912 @kit-ty-kate - fix #5910]
+  * Overhaul Windows `opam init` to determine Unix and Git configuration simultaneously, and to detect from Cygwin, Git and MSYS2 from all the known package managers and shells [#6000 @dra27]
 
 ## Shell