Skip to content

Commit

Permalink
Fix CHANGELOG.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@robin-aws
robin-aws committed Mar 28, 2024
1 parent cb8572a commit a0b3388
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# Release Notes

## 3.3.0
- chore: Empty commit for the benefit of publish_process.js (https://github.com/dafny-lang/ide-vscode/pull/467)
- Add Dafny 4.6.0

## 3.2.3
- Add Dafny 4.5.0
Expand Down

0 comments on commit a0b3388

Please sign in to comment.