Prep for release.

Author: smillst

build.gradle

@@ -113,7 +113,7 @@ allprojects { currentProj ->
   //   * any new checkers have been added, or
   //   * backward-incompatible changes have been made to APIs or elsewhere.
   // To make a snapshot release, version should end in "-SNAPSHOT", then: ./gradlew publish
-  version '3.48.1-SNAPSHOT'
+  version '3.48.1'
 
   tasks.withType(JavaCompile).configureEach {
     options.fork = true

docs/CHANGELOG.md

@@ -1,4 +1,4 @@
-Version 3.48.1 (November 1, 2024)
+Version 3.48.1 (October 11, 2024)
 --------------------------------
 
 **User-visible changes:**
@@ -7,10 +7,10 @@ The Returns Receiver sub-checker is now disabled by default when running the Res
 as usually it is not needed and it adds overhead. To enable it, use the new
 `-AenableReturnsReceiverForRlc` command-line argument.
 
-**Implementation details:**
-
 **Closed issues:**
 
+#6434, #6810, #6839, #6842, #6856.
+
 
 Version 3.48.0 (October 2, 2024)
 --------------------------------