Hi Mikael, I don't think we'll need this Jenkins plugin, but we won't hesitate to ping you if we change are mind! Thanks for the proposal!
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
