Version number

Hi all, as I have mailed before I have changed the configurations of JQueryWidgetBox, Magritte3 and Magritte3AddOns to allow for Seaside 3.1 to be loaded. I am now doubting the choice of version number for this. I have the following options: 1. Should I create a minor version for this (so 3.1 for Magritte3 and 2.8 for JQueryWidgetBox) 2. Should I create a patch version for this (so 3.0.1 for Magritte3 and 2.7.1 for JQueryWidgetBox) 3. Should I mimic the version of Seaside3 (so 3.1 for both Magritte3 and JQueryWidgetBox) I choose for option 1, but now that I rethink it, I am more inclined to choose option 2. What do you all think? I know that for Magritte I should make some minor changes (it still uses beSubmitOnChange), but basically it is the same version. Cheers, Diego