[02:00] <luis_> Hola, alguien me puede ayudar con un problema que tengo con el grub menu?