diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-08 10:55:45 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-08 10:55:45 +0000 |
| commit | 1d52964df7abf9fba09933470d5c3dcce96760c4 (patch) | |
| tree | d4921a45aa3f6b7df0ee74aec5663dc862536fb1 /ci/after-success.sh | |
| parent | 60478f3623340c96c955b04cfc03a40f42536660 (diff) | |
| parent | e7586f4a8abf6204ae505cdd541f80d08051b617 (diff) | |
Merge #137
137: impl Default for Duration r=japaric a=japaric
closes #134
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'ci/after-success.sh')
0 files changed, 0 insertions, 0 deletions