Skip to content

Commit

Permalink
Update CHANGELOG
Browse files Browse the repository at this point in the history
  • Loading branch information
jaybosamiya-ms committed Jan 14, 2025
1 parent b1a295c commit f03d605
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# Unreleased

* Add support for `returns` clauses (see [verus#1368](https://github.com/verus-lang/verus/pull/1368))

# v0.5.0

* Improve handling of inner-docstring comments (i.e., `///`-prefixed comments)
Expand Down

0 comments on commit f03d605

Please sign in to comment.