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

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

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: Iebdd685d838ed410fa33f777ac916ba482e8a69e