Merge "Increment platform-tools version to 31.0.1." am: c3043eaa4b

Original change: https://android-review.googlesource.com/c/platform/development/+/1612365

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: Ic53bf8eb95cfd8b22f3c12b1a8b830fd5ea253cf