Missing CHANGELOG entry for 2.12.5

nick8325 / quickcheck

Automatic testing of Haskell programs.

Other

714 stars 119 forks source link

Closed asr closed 5 years ago

asr commented 5 years ago

The isSuccess function was added (see https://github.com/agda/agda/issues/3252) but it wasn't documented.

nick8325 commented 5 years ago

Oh! It looks like I forgot to write a changelog for 2.12.5. Sorry!

nick8325 commented 5 years ago

Fixed now!

asr commented 5 years ago

Thanks!