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