Coverage increased (+0.005%) to 90.734% when pulling 5ee071a819aca066cf4d32f1017bd1d69d2f4ae7 on gdb into 8b2eac8808428e22723169820902eec77d8f9e62 on master.
Coverage increased (+0.005%) to 90.734% when pulling 5ee071a819aca066cf4d32f1017bd1d69d2f4ae7 on gdb into 8b2eac8808428e22723169820902eec77d8f9e62 on master.
Coverage remained the same at 90.729% when pulling 07eca1007537e19f01e24395d76054af14a312f9 on gdb into 8b2eac8808428e22723169820902eec77d8f9e62 on master.
this PR will be closed, it's only purpose is to catch the segfault on travis