"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.
Regards,
Xavier