GPL

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 67e7e20a..41c41c1e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,8 @@
 
 ** Generic Changes
 
+*** LICENSE CHANGE to GPL!
+
 *** Remove handling for provers you don't want
 
 You can simply remove the directories from the PG distribution,