Since CentOS 7 is based off of RHEL 7 which is apparently based off of
Fedora 19

https://en.wikipedia.org/wiki/Red_Hat_Enterprise_Linux#RHEL_7

On Tue, Feb 24, 2015 at 1:34 AM, Ricardo Wurmus <rekado@elephly.net> wrote:

>
> Peter Baumgarten writes:
>
> > The OS was Fedora 21 x86_64, attached is the log
>
> This looks similar to this bug report:
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19780
>
> Failures there are also caused by segfaults and the OS is CentOS 7,
> which is rather close to a recent Fedora.
>
> ~~ Ricardo
>
>