On Mon, 14 Apr 2014 14:37:28 +0100
Dimitris Papastamos <[email protected]> wrote:

> Renamed it from switch_root.1 to switch_root.8.

Thanks, I forgot about that!

-- 
FRIGN <[email protected]>

Reply via email to