From 01bfee48cb7ed704fd3b9c55aab7075436fdbc5a Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Fri, 2 Jun 2017 13:28:14 -0700
Subject: [PATCH] GCC extensions are ok

---
 doc/CODING_STYLE.html | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/doc/CODING_STYLE.html b/doc/CODING_STYLE.html
index ed8c4ec5..67c109d8 100644
--- a/doc/CODING_STYLE.html
+++ b/doc/CODING_STYLE.html
@@ -3936,9 +3936,18 @@ guide, the following C++11 features may not be used:</p>
 
 <h3 id="Nonstandard_Extensions">Nonstandard Extensions</h3>
 
+<div class="summary">
+	<p>GCC Extensions to C++ may be used where they improve readability, performance or compiled code size.</p>
+</div>
+
+<strike>
+
 <div class="summary">
 <p>Nonstandard extensions to C++ may not be used unless otherwise specified.</p>
 </div>
+</strike>
+
+
 <div class="stylebody">
 <div class="definition">
 <p>Compilers support various extensions that are not part of standard C++. Such
@@ -3974,12 +3983,20 @@ guide, the following C++11 features may not be used:</p>
 </div>
 
 <div class="decision">
-<p>Do not use nonstandard extensions. You may use portability wrappers that
+	<strike>
+	<p>Do not use nonstandard extensions. You may use portability wrappers that
   are implemented using nonstandard extensions, so long as those wrappers
   
   are provided by a designated project-wide
   portability header.</p>
+	</strike>
+
+	<p>Use GCC extensions where necessary<p>
+
 </div>
+
+</strike>
+
 </div> 
 
 <h3 id="Aliases">Aliases</h3>