Merge branch '1.3.1' into google

wjc

2025-07-22 99fe0cdba240f67e75e3d051e51fa61d71188cab

1
2
3
4
5
6
7
8
9
10
11
12
/build 
*.idea 
/.idea/libraries 
/.idea/modules 
/.idea/compiler.xml 
/.idea/gradle.xml 
/.idea/jarRepositories.xml 
/.idea/misc.xml 
/.idea/modules.xml 
/.idea/vcs.xml 
/.idea/workspace.xml 
/release