aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorXavier Clerc2014-10-03 17:18:23 +0200
committerXavier Clerc2014-10-03 17:18:23 +0200
commitdc2b5eeb89835016e4bd6b8b5de401692d4957a4 (patch)
treec4e63a5a359f9c7d61c2520c187c7bbddf78c67d /dev/include
parent0bc5690260483be052f86b73ee3a73fe62a5110c (diff)
Classify segfaults as failures in opened bugs
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions