[PlanetCCRMA] One more apt-get dist-upgrade item

[Mark Knecht]

Fernando,
   I just did my office machine. (apt-get update, apt-get dist-upgrade) Both
of my machines are RH 7.3. and both got the wrong file for
sources.list.rpmnew. The file on the machine here in the office has
redhat/8.0 in the sources.list.rpmnew file. I can send it to you if you need
it.

   I think the scripts must not be right. This is the second time this has
happened.

   No harm since I checked the file contents before copying stuff. I'll
download the right stuff from the Planet by hand instead.

With best regards,
Mark