Merge branch '1.3.1'

wjc

2025-07-07 c19f27f32f3c3d2caf82ddbdc3b2602ee3610e46

1
2
3
4
5
6
#Wed Mar 19 11:08:39 CST 2025
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-6.8.3-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists