Merge branch '1.3.1'

wjc

2025-07-07 c19f27f32f3c3d2caf82ddbdc3b2602ee3610e46

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