Le samedi 26 octobre 2013 à 09:58 +0200, Xavier Bachelot a écrit :
"Nicolas Viéville"
<nicolas.vieville(a)univ-valenciennes.fr> a écrit :
> According to the situation in this case the only alternative
>I have is to submit a new job (that I can re-submit eventually if
>needed), but the counter part is to bump the minor release version
>number, even if the package was not not modified (here it's just a
>build
>problem). I just wanted some clarification about this: is it OK to
>proceed this manner or bumping the minor release version number is
>reserved for other types of actions?
>
Yes, it's OK to bump the release in this case, if you don't want to wait for the
original submitter to resubmit.
There is no other hard rule on the release tag than to keep it higher in the latest
branches than in the earliers.
Thank you Xavier and Sérgio for these clarifications.
Cordially,
--
NVieville