Learn more about these different git repos.
Other Git URLs
77a310c
Fix exception raised by jenkins This is an exception observed in the logs, so we may just as well fix it now before it bites us. Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>