travis: gdb - try core.*
authorMichael Wallner <mike@php.net>
Thu, 7 Sep 2017 15:25:05 +0000 (17:25 +0200)
committerMichael Wallner <mike@php.net>
Thu, 7 Sep 2017 15:25:05 +0000 (17:25 +0200)

No differences found