Merge remote-tracking branch 'origin/pr/220'

diff --git a/chroot-script b/chroot-script
index 5cff484..48ce326 100755 (executable)
--- a/chroot-script
+++ b/chroot-script
@@ -653,7 +653,7 @@ available_ids() {
   echo "${ids}"
 }
 
-# helper function to report corresponding /dev/disk/by-id/… for a given device name,
+# helper function to report corresponding /dev/disk/by-id/ for a given device name,
 # based on GRUB's postinst script
 device_to_id() {
   local id