Andrei Borzenkov 7136b545c1 Erase backspaced character in grub_username_get
It probably does not work across linefeed, but hopefully user names are not
that long (and nobody is using terminal that small).
2015-12-16 19:20:10 +03:00
..
2015-01-27 17:17:58 +01:00
2015-06-20 23:38:18 +03:00
2015-06-20 23:38:19 +03:00