janestreet/magic-trace

Re-enable dlfilter backend

Xyene opened this issue · 0 comments

Xyene commented

It was disabled in 923eaef because it didn't handle trace errors correctly. Let's track fixing that and re-enabling it here.