[linuxtools-dev] Hudson CI build not triggered for patches on stable-3.2

[Bernd Hufmann <bernd.hufmann@xxxxxxxxxxxx>]

Hello

I pushed a change to Gerrit for stable-3.2 
(https://git.eclipse.org/r/#/c/41665/) but the Hudson CI build was not 
triggered for some reason.
The patch has been reviewed (+2) and verified by another committer but 
Hudson +1 is missing.

Is there a way to trigger the build manually? If not would it be 
possible to merge it without Hudson?

BTW, patch https://git.eclipse.org/r/#/c/41677/ has the same issue.

Please let me know

Thanks
Bernd