*** This bug is a duplicate of bug 1289977 ***
https://bugs.launchpad.net/bugs/1289977
=> I posted to bug #1289977.
(post #283, #284).
Although there are many helpful hints there, I could not resolve my
issue.
Tx,
Gerald
--
You received this bug notification because you are a member of Ubu
*** This bug is a duplicate of bug 1289977 ***
https://bugs.launchpad.net/bugs/1289977
** This bug has been marked a duplicate of bug 1312787
"error: symbol 'grub_term_highlight_color' not found" in Ubuntu 14.04
** This bug is no longer a duplicate of bug 1312787
"error: symbol 'grub_te
