diff options
author | Ondřej Šmalec <o.smalec@partner.samsung.com> | 2019-07-17 09:37:01 +0200 |
---|---|---|
committer | Ondřej Šmalec <o.smalec@partner.samsung.com> | 2019-07-17 09:41:01 +0200 |
commit | b1c12f5166657bb911997196759fdc0f56ceade1 (patch) | |
tree | 2dfa267ec02c371bc4c0b3ece71d7404473ef311 | |
parent | 4fe157c4b887c8139351b2de5b3a6d6664fe1e80 (diff) |
Fixing oom.git submodule. Former commit id doesn't exist hence Jenkins
job failed few times. I add last dublin commit ID.
Issue-ID: DOC-505
Signed-off-by: Ondřej Šmalec <o.smalec@partner.samsung.com>
Change-Id: Ib80d20bddead0584458cf91ec5d59e86fd685888
m--------- | docs/submodules/oom.git | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/oom.git b/docs/submodules/oom.git -Subproject 1b6568c97c70083a0c5ce453ecb36d0565a423c +Subproject a4e1ea7542d466680d300fc736a0a9f7e4d8840 |