am 17c0f72c: (-s ours) am 501d2ae5: am ea82bcc2: (-s ours) am 5cff81bb: (-s ours) SDK Updater: properly update/install doc. (do not merge)
Merge commit '17c0f72c8378956533a89624c715786be1e3ad52' * commit '17c0f72c8378956533a89624c715786be1e3ad52': SDK Updater: properly update/install doc. (do not merge)
This commit is contained in: