Skip to content

Commit

Permalink
Change Alan Hu's username in the changelog (#3830)
Browse files Browse the repository at this point in the history
Signed-off-by: Alan Hu <[email protected]>
  • Loading branch information
alan-j-hu authored Sep 28, 2020
1 parent a70b8c2 commit cb41f6e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ Unreleased
- Add (enabled_if ...) to (copy_files ...) (#3756, @nojb)

- Make sure Dune cleans up the status line before exiting (#3767,
fixes #3737, @dosaylazy)
fixes #3737, @alan-j-hu)

2.7.1 (2/09/2020)
-----------------
Expand Down

0 comments on commit cb41f6e

Please sign in to comment.