diff options
| author | Benoit Marty <benoit.marty@gmail.com> | 2018-06-25 16:09:55 +0200 |
|---|---|---|
| committer | Hubert Chathi <hubert@uhoreg.ca> | 2018-06-27 14:00:20 -0400 |
| commit | 9550d6cebc12913c5e7df0ff874adebc827c70c9 (patch) | |
| tree | c73bb6884dee31dd22db47aa98f409260b1b5cdc /jenkins.sh | |
| parent | 570e3a706fe615e1699356761f999b47944d4859 (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