Van: Thanks for the feedback. The 'redHat' was 100% my mistake, the 4PGDG was and remains correct for redhat-6.2, but the 7.1 RPMs there are now -5PGDG. Both should now be corrected in my whichfilesdoineed.html page.
Of course, I'll probably find out that the RH 6.2 versions all switch to -5PGDG too, and then I'll have to update the page yet again...!
