diff options
| author | Daiki Ueno <dueno@redhat.com> | 2018-08-22 13:41:38 +0200 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2018-08-28 15:07:45 +0200 |
| commit | 347a8793d23036433ab0ba39049f0e832bb05b3d (patch) | |
| tree | 8a4a554c8a50390896a961f801356ec1411a49ea /doc/manual | |
| parent | 9a7892ef3fd9d4bd70df41fb0200782dc6134c70 (diff) | |
virtual: Don't be too loud about recoverable failure
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions