...
- if a change is a bugfix on a previously merged patch, AND if that previous version is not already released
- then version change is optional
- different repos need to have the version number expressed in multiple places
- document those . . . TBD
Were there any -1 on previous patches by another committer or the PTL?
...