From 1a96e18000db336129e0a99e3c86e7a57f152402 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 2 Aug 2011 14:45:19 -0400 Subject: Remove some GCC-specific identifier choice and documentation --- CHANGELOG | 3 +++ 1 file changed, 3 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 2cd13f96..0e677365 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -5,6 +5,9 @@ Next - Start of official tutorial - Compiler support for generating nice tutorial HTML from literate source files - New protocol 'static' for generating static pages +- Replace GCCARGS configure variable with CCARGS +- Applications consult URWEB_STACK_SIZE environment variable to determine thread + stack size - Bug fixes ======== -- cgit v1.2.3