K 10
svn:author
V 5
wosch
K 8
svn:date
V 27
2002-08-05T19:05:29.000000Z
K 7
svn:log
V 105
Increase the value of maximum PR number from 99999 to 499999.
(the current PR number is around 41300 ;-)

END