diff options
Diffstat (limited to '')
| -rw-r--r-- | Server/hg.supp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Server/hg.supp b/Server/hg.supp index 27eb8c27a..bea6ecf3c 100644 --- a/Server/hg.supp +++ b/Server/hg.supp @@ -6,9 +6,9 @@ -# This covers GCC bug 40518, http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518 +# This covers GCC bug 40518, https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518 # "Erasing an empty string causes a global value write / race condition warning in helgrind" -# Original suppression authored by Jonathan Wakely: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518#c20 +# Original suppression authored by Jonathan Wakely: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518#c20 # Modified by Mattes to match the mangled function name used on Ubuntu { @@ -16,7 +16,3 @@ Helgrind:Race fun:_ZNSs9_M_mutateEjjj } - - - - |