record=0025status=fixeddescription="""I changed the bug database to use next_page_num for the default_value, but this is always a 4-digit number.  bug page made before this change have a different number of digits in
their filenames.

I should go back and fix the filenames to be more sane.
The record_id for each file should also be made to match the filename.
"""summary=bug db files have wrong digit formatpriority=lowassigned_to=Tim