diff options
| author | Joe Conway | 2025-06-30 01:43:39 +0000 |
|---|---|---|
| committer | Joe Conway | 2025-06-30 01:43:39 +0000 |
| commit | 9c5b9a280cb6089c011a01797868da83f97d0230 (patch) | |
| tree | 94d7fdf815e99b680e875677b361a3021b219983 /configure | |
| parent | 0ebd24255581837f9a5b189ef15147b769df116b (diff) | |
Do pre-release housekeeping on catalog data.
Run renumber_oids.pl to move high-numbered OIDs down, as per pre-beta
tasks specified by RELEASE_CHANGES. For reference, the command was
./renumber_oids.pl --first-mapped-oid 8000 --target-oid 6300
This should have been done prior to beta1, but it was forgotten. This
will ensure we get the correct numbering for beta2 onward.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions