--- a/NEWS Thu Mar 17 14:43:53 2011 +0100
+++ b/NEWS Thu Mar 17 22:07:17 2011 +0100
@@ -42,6 +42,7 @@
* Nitpick:
- Added "need" and "total_consts" options.
+ - Reintroduced "show_skolems" option by popular demand.
- Renamed attribute: nitpick_def ~> nitpick_unfold.
INCOMPATIBILITY.