1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 7d370a3..4ad4aa9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,8 @@
 CHANGES:
+CHANGE 142: BGe 26-Nov-18
+   * Version is available in public header
 CHANGE 141: BGe 25-Nov-18
   * protect_allocator configure option is gone, long live allocator (more embedders-friendly)

diff --git a/CHANGES b/CHANGES index 7d370a3..4ad4aa9 100644 --- a/CHANGES +++ b/CHANGES
@@ -1,5 +1,8 @@
1	CHANGES:	1	CHANGES:
2		2
		3	CHANGE 142: BGe 26-Nov-18
		4	* Version is available in public header
		5
3	CHANGE 141: BGe 25-Nov-18	6	CHANGE 141: BGe 25-Nov-18
4	* protect_allocator configure option is gone, long live allocator (more embedders-friendly)	7	* protect_allocator configure option is gone, long live allocator (more embedders-friendly)
5		8