Release 0.4.4 #16

Merged
merged 2 commits into from Jun 24, 2016

Projects

None yet

1 participant

@mantkiew
Member
  • compatibility with clafer-0.4.4 and the latest gitit-0.12.1.1
  • support only GHC >= 7.10.3
@mantkiew mantkiew added this to the 0.4.4 milestone Jun 23, 2016
@mantkiew mantkiew self-assigned this Jun 23, 2016
@mantkiew mantkiew merged commit 3add06d into master Jun 24, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment