Fixes issue where queries fail with undefined symbol: _res_search
. Closes #408
#210
Job | Run time |
---|---|
33s | |
6m 14s | |
6m 47s |
undefined symbol: _res_search
. Closes #408
#210
Job | Run time |
---|---|
33s | |
6m 14s | |
6m 47s |