Skip to content
Commit 16143d03 authored by Nicolas De loof's avatar Nicolas De loof
Browse files

Merge pull request #1192 from ydubreuil/fix-restart-after-jre-system-update 

Fix jenkins restart on Linux after a JRE system update
parents 929a78f1 547d4ed8
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment