Skip to content

1.7.4: Rm "old dune process". It will not be missed (#366)
Compare
Choose a tag to compare
@jaredly jaredly released this 14 Dec 02:53
1.7.4
e4d78b2
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Automatic release

Changes:

  • e4d78b2 Rm "old dune process". It will not be missed (#366)
  • e007b2d version up
  • 6a8d6fc Merge branch 'master' of github.com:jaredly/reason-language-server
  • d833879 Fix issue where getting the ident binding time only works for 4.08. (#363)
  • fcac32a Upgrade ci to use latest from hello-reason (#361)
  • 9557e89 get fixture tests going

This list of changes was auto generated.

Assets 6
Loading