Skip to content

Commit

Permalink
Changes
Browse files Browse the repository at this point in the history
  • Loading branch information
nojb committed Aug 5, 2021
1 parent 7e4c2c8 commit da73518
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions Changes
Expand Up @@ -42,6 +42,10 @@ Working version
- #10524: Directive argument type error now shows expected and received type.
(Wiktor Kuchta, review by Gabriel Scherer)

- #10560: Disable colors if the env variable `NO_COLORS` is set. If
`OCAML_COLOR` is set, its setting takes precedence over `NO_COLORS`.
(Nicolás Ojeda Bär, report by Gabriel Scherer)

### Manual and documentation:

- #7812, #10475: reworded the description of the behaviors of
Expand Down

0 comments on commit da73518

Please sign in to comment.