From 80e2cc4a8d9cae5998e0124074e2e0343d1f8a17 Mon Sep 17 00:00:00 2001
From: rfjakob
Date: Thu, 9 Jun 2016 23:54:59 +0200
Subject: Updated Upgrading (markdown)

---
 Upgrading.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Upgrading.md')

diff --git a/Upgrading.md b/Upgrading.md
index 17b6f27..ee77535 100644
--- a/Upgrading.md
+++ b/Upgrading.md
@@ -49,4 +49,5 @@ find /old -type d -delete
 This is safer than `rm -R` because it will only remove directories and error out if any files are left behind. Note that it will also try to delete the mountpoint `/old` and fail at doing so. This is expected:
 ```
 find: cannot delete ‘/old’: Device or resource busy
-```
\ No newline at end of file
+```
+but no other errors should be printed.
\ No newline at end of file
-- 
cgit v1.2.3