diff --git a/doc/BAD.html b/doc/BAD.html index 1f500973bf..7be09d069a 100644 --- a/doc/BAD.html +++ b/doc/BAD.html @@ -18,5 +18,5 @@ in fixing this or have a fix for this bug, please contact rtems@OARcorp.com.