summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/forum/grub-mkconfig_incorrectly_run_by_imageBuiltFor__63__/comment_7_cb0a1052e1ad421d4c1f2b15c30a7f06._comment10
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/forum/grub-mkconfig_incorrectly_run_by_imageBuiltFor__63__/comment_7_cb0a1052e1ad421d4c1f2b15c30a7f06._comment b/doc/forum/grub-mkconfig_incorrectly_run_by_imageBuiltFor__63__/comment_7_cb0a1052e1ad421d4c1f2b15c30a7f06._comment
new file mode 100644
index 00000000..f5fcf414
--- /dev/null
+++ b/doc/forum/grub-mkconfig_incorrectly_run_by_imageBuiltFor__63__/comment_7_cb0a1052e1ad421d4c1f2b15c30a7f06._comment
@@ -0,0 +1,10 @@
+[[!comment format=mdwn
+ username="gueux"
+ avatar="http://cdn.libravatar.org/avatar/2982bac2c2cd94ab3860efb189deafc8"
+ subject="comment 7"
+ date="2017-12-20T21:54:30Z"
+ content="""
+But that seems to fail without switching the two (see my original problem and my first comment), or is there another problem?
+
+I can provide the patch for BIOS tomorrow.
+"""]]