Skip to content

1.19.3
Compare
Choose a tag to compare
@gcanti gcanti released this 26 Jun 07:47
· 1414 commits to master since this release
1.19.3
556301a
  • Polish
    • add pointer to Eq for those looking at deprecated Setoid interface, fix #889 (@gcanti)
Assets 2
Loading