Skip to content

Commit

Permalink
update changes
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Nov 18, 2020
1 parent 577adf3 commit 0c2678e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -103,4 +103,4 @@ New option/command/subcommand are prefixed with ◈.
* Use dune "expected" convention for patcher test [#4395 @emillon]

## Doc
*
* Last repo removal note [#4433 @rjbou - fix #4381]

0 comments on commit 0c2678e

Please sign in to comment.