diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-15 19:02:28 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-15 19:02:28 +0100 |
| commit | 575b8635073ae0ea9e2aebbab613daf97fe9af90 (patch) | |
| tree | f29e81e34430e07af9b67633dc336f90718318a3 /bors.toml | |
| parent | e929355eca10b1d8d4e55ddd41549d5bf0a685aa (diff) | |
| parent | 2a76389d6b836288020e8c1ea09ce2745e82c215 (diff) | |
Merge #132
132: Cache caro on Travis r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'bors.toml')
0 files changed, 0 insertions, 0 deletions