Bump version and update CHANGELOG
commit7dda3dd31baa50bd8895e0cc12c611f3061a35ae
authorJonathan Daugherty <jtd@galois.com>
dateTue 11 Aug 2015, 15:22 (11 years ago)
parent3d40d13
CHANGELOG+2−1
@@ -1,4 +1,5 @@
1−5.2.12
1+5.3
2+ - Upgraded QuickCheck dependency to 2.7
23 - The standard IO Config (standardIOConfig) was overriding any provided application config.
34 In addition, the inputFd and outputFd could not be changed if mkVty was used.
45 Fixed.
vty.cabal+1−1
@@ -1,5 +1,5 @@
11name: vty
2−version: 5.2.12
2+version: 5.3
33license: BSD3
44license-file: LICENSE
55author: AUTHORS