Merge "Update doc for DeviceProperties's Sdk_version field" am: 62a2fd93de

Original change: https://android-review.googlesource.com/c/platform/build/soong/+/2065271

Change-Id: I6583f76d9dc3ea0a65eab88f7177ae10a7843100
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>