On Tue, Oct 16, 2012 at 10:01 AM, Roy Stogner <firstname.lastname@example.org> wrote:
I'll take that as another vote for "don't remove the existing optionuntil the new option has been available for a couple releases".
The reason for the double negative is to emphasize that renumbering is
the default, but that's a weak reason. Unless someone else disagrees
I'll change it to "allow_renumbering" or some such shortly.