Greg Copeland wrote: > Seems like a mistake was made. Let's (don't ya love how that sounds > like I'm actually involved in the fix? ;) fix it sooner rather than > later. > > Just curious, after a release, how come the numbers are not > automatically bumped to ensure this type thing gets caught sooner rather > than later? Is it possible to automate this as part of the build > process so that they get grabbed from some version information during > the build?
Version bump is one of the few things we do at the start of development. For 7.2, I didn't actually stamp the 7.2 release so I never bumped them, or I forgot. Seems I also forgot for 7.1. It is listed in tools/RELEASE_CHANGES so it is just a matter of following that file. -- Bruce Momjian | http://candle.pha.pa.us [EMAIL PROTECTED] | (610) 359-1001 + If your life is a hard drive, | 13 Roberts Road + Christ can be your backup. | Newtown Square, Pennsylvania 19073 ---------------------------(end of broadcast)--------------------------- TIP 6: Have you searched our list archives? http://archives.postgresql.org