[Bioc-devel] bug fix push to Release 3.13 not working for wpm package

[Hélène Borges]

Dear Bioc developers,
I am the maintainer of the wpm package, and I made a bug fix last tuesday.
I pushed changes on the devel branch and also on the release branch 3.13,
since it's a bug fix.
I checked the build reports this morning and curiously, the git push worked
only for the devel branch, not for the release 3.13 branch.
I don't understand the difference, because I made the version bump for the
two: 1.3.2 for the devel branch and 1.2.1 for the release branch. I didn't
have any error when pushing to upstream RELEASE_3_13...

What can I do to solve this? Did I make the version bump wrong?
Thanks a lot for your help,

Hélène Borges

	[[alternative HTML version deleted]]