New xml_find_int() to get integers from an XPath (#412)
#133
| Job | Run time |
|---|---|
| 1m 47s | |
| 1m 47s |
xml_find_int() to get integers from an XPath (#412)
#133
| Job | Run time |
|---|---|
| 1m 47s | |
| 1m 47s |