That's because the master cvs repository for Pike 7.2 still is at RIS.
/ Henrik Grubbström (Lysator)
Previous text:
2003-01-30 15:40: Subject: 3.0 > 4.0?
Great. I don't see a checkin message for 7.2 in the CVS browser though?
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)