diff --git a/NEWS.md b/NEWS.md
index b22db2aaf..73e1be1ae 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,5 +1,15 @@
 ## MLKit NEWS
 
+### MLKit version 4.7.6 is released
+
+* mael 2023-11-16: Unboxed representation of datatypes using high bits
+  for tagging (PR #149). This optimisation allows for unboxing of many
+  types including whole language grammars, patricia trees (finite
+  maps), union-find data-structures, and more. It works well together
+  with unboxed datatypes that use the low bits for tagging, such as
+  lists. The flag --report_boxities may be used to inspect the
+  inferred representations (boxities) of declared datatypes.
+
 * mael 2023-11-04: Unboxed representation of single constructor
   datatypes, even when the constructor argument is represented
   unboxed (PR #142).
diff --git a/configure.ac b/configure.ac
index 254186240..7eba77363 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,4 +1,4 @@
-AC_INIT(MLKit, [v4.7.5])
+AC_INIT(MLKit, [v4.7.6])
 AC_CONFIG_HEADERS([src/config.h])
 AC_REVISION($Revision$)
 AC_CONFIG_FILES([src/Runtime/Makefile