Increase the value of maximum PR number from 99999 to 499999.
(the current PR number is around 41300 ;-)
Description
Description
Details
Details
- Provenance
wosch Authored on Aug 5 2002, 7:05 PM - Parents
- R9:8dd21dc8c399: Whitespace from last commit. No content changes.
- Branches
- Unknown
- Tags