src/repology.rs: plumb User-agent: field for curl invocation
#132
| Job | Run time |
|---|---|
| 1m 18s | |
| 2m 50s | |
| 4m 8s |
User-agent: field for curl invocation
#132
| Job | Run time |
|---|---|
| 1m 18s | |
| 2m 50s | |
| 4m 8s |