Skip to content

1.32.2

Choose a tag to compare

View all tags
@smorimoto smorimoto released this 02 Sep 10:49
· 90 commits to master since this release
1.32.2
54f36a1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • flake.lock: Update by @github-actions[bot] in #1928
  • Use Uri.fsPath instead of Uri.path to use with Node.js filesystem APIs by @mlasson in #1929
  • Change wording of dune notifications by @PizieDust in #1930
  • Prepare 1.32.2 by @smorimoto in #1932

Full Changelog: 1.32.1...1.32.2

Contributors

mlasson, smorimoto, and PizieDust
Assets 3
Loading