Alright, that's very possible. I wasn't sure, and it just didn't look good somehow. Since it doesn't give any trouble, let's leave it this way. Thanks!
-- root partition mounted twice https://launchpad.net/bugs/69580 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
