diff options
author | Jakob Unterwurzacher | 2018-04-08 20:09:05 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2018-04-08 20:09:05 +0200 |
commit | cab0cda449c831d1d5bb9b75452428c186079799 (patch) | |
tree | 5a7029bb79d7abaa0ab033119f0a7f1e8437cbb0 /tests/example_filesystems/v0.7/RWPXmXkRFrWw1aOpq7C-NQ== | |
parent | 9d7392a5be7e21aaaf2fb02f19b421c29e304632 (diff) |
tests: retry umount
Gnome may still have files open causing spurious test
failures.
Diffstat (limited to 'tests/example_filesystems/v0.7/RWPXmXkRFrWw1aOpq7C-NQ==')
0 files changed, 0 insertions, 0 deletions