aboutsummaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorBenoit Marty <benoit.marty@gmail.com>2018-06-25 16:09:55 +0200
committerHubert Chathi <hubert@uhoreg.ca>2018-06-27 14:00:20 -0400
commit9550d6cebc12913c5e7df0ff874adebc827c70c9 (patch)
treec73bb6884dee31dd22db47aa98f409260b1b5cdc /jenkins.sh
parent570e3a706fe615e1699356761f999b47944d4859 (diff)
Fix null pointer dereference
Patch has been received by e-mail, Signed-off-by: Arnaud Fontaine <arnaud.fontaine@ssi.gouv.fr>
Diffstat (limited to 'jenkins.sh')
0 files changed, 0 insertions, 0 deletions