Skip to content

Commit

Permalink
update changes
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Jul 25, 2023
1 parent 7bf0bfe commit 52aec31
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,8 @@ users)
## VCS

## Build
* Remove `bigarray` dependency [#5612 @kit-ty-kate]
* Remove use of deprecated `Printf.kprintf" [#5612 @kit-ty-kate]

## Infrastructure

Expand Down

0 comments on commit 52aec31

Please sign in to comment.