Extend resource_files to general Traversables
#8355
| Job | Run time |
|---|---|
| 1m 56s | |
| 1m 56s |
resource_files to general Traversables
#8355
| Job | Run time |
|---|---|
| 1m 56s | |
| 1m 56s |