From 93b2dff88edd850210eafc2b5cfa05fc12933e0e Mon Sep 17 00:00:00 2001 From: Ryan Kurtz Date: Thu, 17 Oct 2019 13:18:18 -0400 Subject: [PATCH] GT-3243: Certifying (closes #711). --- GPL/DemanglerGnu/src/demangler_gnu/c/cp-demangle.c | 1 - GPL/DemanglerGnu/src/demangler_gnu/headers/cp-demangle.h | 1 - 2 files changed, 2 deletions(-) diff --git a/GPL/DemanglerGnu/src/demangler_gnu/c/cp-demangle.c b/GPL/DemanglerGnu/src/demangler_gnu/c/cp-demangle.c index 21915b6e3a..ff1a2b72eb 100644 --- a/GPL/DemanglerGnu/src/demangler_gnu/c/cp-demangle.c +++ b/GPL/DemanglerGnu/src/demangler_gnu/c/cp-demangle.c @@ -1,6 +1,5 @@ /* ### * IP: GPL 3 Linking Permitted - * REVIEWED: YES */ /* Demangler for g++ V3 ABI. Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 diff --git a/GPL/DemanglerGnu/src/demangler_gnu/headers/cp-demangle.h b/GPL/DemanglerGnu/src/demangler_gnu/headers/cp-demangle.h index 21953c417b..0062ee2aa7 100644 --- a/GPL/DemanglerGnu/src/demangler_gnu/headers/cp-demangle.h +++ b/GPL/DemanglerGnu/src/demangler_gnu/headers/cp-demangle.h @@ -1,6 +1,5 @@ /* ### * IP: GPL 3 Linking Permitted - * REVIEWED: YES */ /* Internal demangler interface for g++ V3 ABI. Copyright (C) 2003, 2004, 2005, 2006, 2007, 2010