1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 6c5111c..175ca0c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-26  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* manual/platform.texi: Add missing @end deftypefun.
+
 2013-05-24  Joseph Myers  <joseph@codesourcery.com>
 
 	[BZ #15529]