diff --git a/doc/install/Linux_standalone/comment_8_8a6f41d16fba1afb16cb13e438ce97d6._comment b/doc/install/Linux_standalone/comment_8_8a6f41d16fba1afb16cb13e438ce97d6._comment new file mode 100644 index 0000000000..07a625a77d --- /dev/null +++ b/doc/install/Linux_standalone/comment_8_8a6f41d16fba1afb16cb13e438ce97d6._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 8""" + date="2025-05-13T14:12:22Z" + content=""" +Unfortunately I was on vacation when that breakage happened, so I don't +remember the details, but it does seem to have been fixed. +"""]]