Skip to content

Commit

Permalink
Changes
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
  • Loading branch information
nojb committed Sep 5, 2024
1 parent e778682 commit ff41296
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions doc/changes/10883.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
- Fix an issue where C stubs would be rebuilt whenever the stderr of Dune was
redirected. (#10883, @nojb)

0 comments on commit ff41296

Please sign in to comment.