diff options
author | giovanni <giovanni@cvs.openbsd.org> | 2012-05-09 12:54:14 +0000 |
---|---|---|
committer | giovanni <giovanni@cvs.openbsd.org> | 2012-05-09 12:54:14 +0000 |
commit | df199b2d76b5974f799c00e0408a3b3e3032f454 (patch) | |
tree | 81fe2f63d4cedafe2c3383cea2b1b04ab14efe70 /sys/dev | |
parent | 4cd6b1856b89c7e18377a7c4a879177310193a3e (diff) |
Fix a desynchronization on host change during a running check
closes pr system/6627
diff submitted by Martin Matuska, thanks
ok benno@
Diffstat (limited to 'sys/dev')
0 files changed, 0 insertions, 0 deletions