CORRECTION new Redhat RPMS was for 7.3 NOT 8.0

Due to a mistake made by me the new Redhat RPMS was earlier announced as Redhat 8.0 RPMS. This should be Redhat 7.3.

Posted by Bj�rn Sahlstr�m 2002-10-23