repoinit*: Upgrade from 7.1.1 to 7.1.2 releases
repoinit*: Upgrade from 7.1.1 to 7.1.2 releases

Change-Id: I6c768f8d28261fc8235cd7df1673d08976d214d2
Signed-off-by: Adrian DC <01fb3892f39957945220431e7409156544d2f041@gmail.com>

AdrianDC/android_development_shell_tools,AdrianDC/android_development_shell_tools