diff options
author | 2018-09-12 09:30:13 +0000 | |
---|---|---|
committer | 2018-09-12 09:30:13 +0000 | |
commit | a85ba7528d374b4029959e4eda6da5274a62b7e6 (patch) | |
tree | 1e722f1c92074445a99741b7df32eed84b8ca5ea | |
parent | 1950370f7d815ecab571829c1f2fac61d545d7b1 (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Merge "Add Doctor maintenance job"
- Add Doctor maintenance job
Change-Id: I1d5d83df75f25ae3f54a660e5a0cba4290a1510b
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
m--------- | docs/submodules/releng | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/releng b/docs/submodules/releng -Subproject 1c4cc0319e5b1c37b9221b776ea264cacf8f147 +Subproject b55046ac8825f81dcd440fa772ba179e172faac |