Delete old root partition?

@moderators

This thread has been resolved in:

Note that there are other threads (from @Edward78 ) that also lead to this final conclusion. Perhaps some clever merging is in order.

Cheers.

3 Likes