Prep for May release.

Author: smillst

build.gradle

@@ -122,7 +122,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.49.3-SNAPSHOT'
+  version = '3.49.3'
 
   tasks.withType(JavaCompile).configureEach {
     options.fork = true

docs/CHANGELOG.md

@@ -5,10 +5,10 @@ Version 3.49.3 (May 1, 2025)
 
 The Checker Framework runs under JDK 24 -- that is, it runs on a version 24 JVM.
 
-**Implementation details:**
-
 **Closed issues:**
 
+#6520, #6671, #6750, #6762, #6887, #7001, #7019, #7024, #7029, #7053.
+
 
 Version 3.49.2 (April 1, 2025)
 ------------------------------