diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-22 09:00:02 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-22 09:00:02 +0000 |
| commit | 60478f3623340c96c955b04cfc03a40f42536660 (patch) | |
| tree | ba8a7c7e8e9506e9d248ae735bbf2a3cf7766a6e /.gitignore | |
| parent | 438a6207fb88d45f49554ba2a2fab230affff977 (diff) | |
| parent | 45e98afbc1ea15335843542379dd439d2b601258 (diff) | |
Merge #133
133: Fix build on recent nightlies. r=japaric a=hugwijst
Co-authored-by: Hugo van der Wijst <hvanderwijst@tesla.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions