config(8) patch

Hi,


I wanted to use the following in my kernel config file so wrote a patch
for it.

 makeoptions MODULES_OVERRIDE=foo
 makeoptions MODULES_OVERRIDE+=bar
 makeoptions MODULES_OVERRIDE+=baz

 http://people.freebsd.org/~thompsa/config_append.diff

I am unsure if the config version needs to be bumped for a minor change
like this. Can anyone clarify?


Andrew