1 files changed, 2 insertions, 0 deletions
diff --git a/HISTORY b/HISTORY
index 2c011ec..6d3d14d 100644
--- a/HISTORY
+++ b/HISTORY
@@ -110,6 +110,8 @@ ____-__-__: Version 1.3
   references #142)
 - Added documentation of new tokens introduced by brougs78-extensions
   (references #142)
+- Added documentation of new attributes introduced by chr13-optimizations
+  (references #142)
 
 2009-06-01: Version 1.2