diff options
author | 2020-11-30 16:47:39 +0000 | |
---|---|---|
committer | 2020-11-30 16:47:39 +0000 | |
commit | 9c867dfd6946280937d5b42ab6eb74eb3d801ad1 (patch) | |
tree | 2844972c33f48178fc363c6b6f326c2e7806fb64 | |
parent | 2f2ab398dc679561374b2fc3e003ebc695c6d2b6 (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
to 38adffb277cfaf42fdd4639545878acc8ad38042
- Merge "Doctor Jerma branch"
- Doctor Jerma branch
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
Change-Id: I4dd6a9404e4917bd52b739759260082d6c2c22e0
m--------- | docs/submodules/releng | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/releng b/docs/submodules/releng -Subproject 9dd01d61a8319164617ba8500dd24015634afe8 +Subproject 38adffb277cfaf42fdd4639545878acc8ad3804 |