NEWS
changeset 47349 803729c9fd4d
parent 47270 2511f3e84496
child 47397 d654c73e4b12
--- a/NEWS	Wed Apr 04 12:22:51 2012 +0200
+++ b/NEWS	Wed Apr 04 14:08:24 2012 +0200
@@ -422,7 +422,9 @@
   - Support for multisets.
 
   - Added "use_subtype" options.
- 
+  - Added "quickcheck_locale" configuration to specify how to process
+    conjectures in a locale context.
+
 * Nitpick:
   - Fixed infinite loop caused by the 'peephole_optim' option and
     affecting 'rat' and 'real'.