From e2e04450f8486f375b0047b5a6994bee86b38688 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 30 Jun 2016 10:04:15 +0200
Subject: Changelog update: mention -g for ARM and IA32

---
 Changelog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 7d53cb5c..861de5bc 100644
--- a/Changelog
+++ b/Changelog
@@ -22,6 +22,10 @@ Formal C semantics:
 - The semantics of conversions from pointer types to _Bool
   is fully defined (again).
 
+Usability:
+- The generation of DWARF debugging information in "-g" mode is now
+  supported for ARM and IA32 (in addition to PowerPC).
+
 Coq development:
 - Revised the Stacking pass and its proof to make it more extensible
   later to e.g. 64-bit integer registers.
-- 
cgit