
<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: times new roman,new york,times,serif; font-size: 12pt; color: #000000'><br><hr id="zwchr"><br><blockquote id="DWT1859" style="border-left:2px solid rgb(16, 16, 255);margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;">Is this a known bug ? (btw, is <a href="http://bugzilla.redhat.com" target="_blank">bugzilla.redhat.com</a> down?)<br><br></blockquote><br>Bugzilla seems to be fine - "it works for me."<br><blockquote style="border-left:2px solid rgb(16, 16, 255);margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"></blockquote></div></body></html>