diff options
author | Stan Hu <stanhu@gmail.com> | 2016-07-01 05:05:22 +0300 |
---|---|---|
committer | Stan Hu <stanhu@gmail.com> | 2016-07-01 05:05:22 +0300 |
commit | ab81ea1e8177742a0dfed2c7cf922bb03a8b6c51 (patch) | |
tree | 7ff12d698fcb279102c79d3c3b73b75b472db9e8 /doc/ci | |
parent | 3041c43380ba6e5d8bbc029a9dcfecfdcf7bcf47 (diff) | |
parent | 7dbc3d97d1b4706fa7bc92dc7f89c33e7a1cee01 (diff) |
Merge branch 'improve-system-info' into 'master'
Catch permission denied errors and ignore the disk
See merge request !5017
Diffstat (limited to 'doc/ci')
0 files changed, 0 insertions, 0 deletions