@Martin: can we get jenkins taking care of that one for a CI job?
After a first really quick looks, this looks good.
« Back to merge proposal
@Martin: can we get jenkins taking care of that one for a CI job?
After a first really quick looks, this looks good.