diff options
author | 2022-12-08 15:32:23 +0100 | |
---|---|---|
committer | 2022-12-08 14:32:23 +0000 | |
commit | f08e7ed7077022c1cbfe908829f5756ff8960d15 (patch) | |
tree | 18cf836101c79136314088989427e790127382d2 /docs/submodules | |
parent | 3a16bc1c2d0fa70df3fc7247b621d95af9073b1b (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
to eb9031617cb5dbed7fb4e007a0da6dabe3836fe0
- Add Jenkins merge job
Change-Id: I1e612728832fe73fa5f637b6bb66978e49a8c0b1
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to 'docs/submodules')
m--------- | docs/submodules/releng | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/releng b/docs/submodules/releng -Subproject ee906d60e516b7ed2574b2f80d16f8462d17555 +Subproject eb9031617cb5dbed7fb4e007a0da6dabe3836fe |