Skip to content

v1.1.13

Compare
Choose a tag to compare
@smorimoto smorimoto released this 18 Apr 03:01
· 1412 commits to master since this release

Changed

  • Acquire opam from GitHub release on Unix.

Fixed

  • Turn off git directory ownership check.