diff options
author | defanor <defanor@uberspace.net> | 2018-02-23 18:33:50 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-02-23 18:39:36 +0300 |
commit | 994485a855267dda40f6d656c33f4ec68903fda8 (patch) | |
tree | 90e8074b6752f850c4916d75e90d16522305a0fd /deb | |
parent | 339a7f006527ad1f1e5b499bc620dd020e796df7 (diff) |
Force the triples with deepseq
Not quite sure if it's the proper fix, but appears to fix an
occasional segfault on RDF reading.
Diffstat (limited to 'deb')
0 files changed, 0 insertions, 0 deletions