Fixes issue where queries fail with undefined symbol: _res_search. Closes #408
#205
| Job | Run time |
|---|---|
| 28s | |
| 4m 4s | |
| 4m 32s |
undefined symbol: _res_search. Closes #408
#205
| Job | Run time |
|---|---|
| 28s | |
| 4m 4s | |
| 4m 32s |