Merge "Increment platform-tools version to 31.0.1." am: c3043eaa4b am: 1d215a4530 am: 959148b45e

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

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: I23662d1bd42ec98ce0ccac8662624e63cd4e2b23