Skip to content

fix(dune_console): print missing newline after dune exec#6821

Merged
rgrinberg merged 1 commit intoocaml:mainfrom Alizter:ps/rr/fix_dune_console___print_missing_newline_after_dune_execJan 4, 2023
+5-2

Commits

Commits on Jan 3, 2023