diff options
| author | topimiettinen <topimiettinen@users.noreply.github.com> | 2016-05-14 16:46:23 +0000 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-05-14 12:46:23 -0400 |
| commit | 9e5f825280192be429cc79153235d12778427fae (patch) | |
| tree | 065778dfc34e81db15f80c97edda08485b6b84c3 /src/boot | |
| parent | 2099b3e9931eea8962cf7a97493abf9361cc6366 (diff) | |
namespace: unmount old /dev under our new private /dev (#3254)
Drop all dangling old /dev mounts before mounting a new private /dev tree.
Diffstat (limited to 'src/boot')
0 files changed, 0 insertions, 0 deletions