diff options
author | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-07-23 11:41:17 +0100 |
---|---|---|
committer | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-07-23 11:41:17 +0100 |
commit | 3bed5265f9c792edfcd593eeaa93675711e5e264 (patch) | |
tree | 60fcbcc5048f276f07022b12d9b34245a6e8ae8d /debian/patches/0026-gcc-8-coverity-hack.patch | |
parent | 9421e599c44cd50d3df4cd019cd3c53d9320e93d (diff) |
Cherrypick master patches up to 20th of July 2018. LP: #1781427
Diffstat (limited to 'debian/patches/0026-gcc-8-coverity-hack.patch')
-rw-r--r-- | debian/patches/0026-gcc-8-coverity-hack.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0026-gcc-8-coverity-hack.patch b/debian/patches/0026-gcc-8-coverity-hack.patch index f039a5c0..6cf6f6a4 100644 --- a/debian/patches/0026-gcc-8-coverity-hack.patch +++ b/debian/patches/0026-gcc-8-coverity-hack.patch @@ -1,7 +1,7 @@ From 28156667e5c7dc3c7b978f2d58c2a427038fedda Mon Sep 17 00:00:00 2001 From: Jes Sorensen <jsorensen@fb.com> Date: Mon, 4 Jun 2018 14:49:59 -0400 -Subject: [PATCH 26/26] gcc-8 coverity hack +Subject: [PATCH 26/40] gcc-8 coverity hack Coverity still has issues with gcc-7, not to mention gcc-8. Hack around it, until they fix it. |