Version 1.8.1

README.md

@@ -11,8 +11,8 @@ In a Gradle buildfile, write
 
 ```
 dependencies {
-  implementation 'org.plumelib:plume-util:1.8.0'
+  implementation 'org.plumelib:plume-util:1.8.1'
 }
 ```
 
-Other build systems are [similar](https://search.maven.org/artifact/org.plumelib/plume-util/1.8.0/jar).
+Other build systems are [similar](https://search.maven.org/artifact/org.plumelib/plume-util/1.8.1/jar).

build.gradle

@@ -135,7 +135,7 @@ if (project.hasProperty('cfLocal')) {
     checkerFramework files(cfHome + '/checker/dist/checker.jar')
   }
 } else if (false) {
-  // use a snapshot version of the Checker Framework.
+  // To use a snapshot version of the Checker Framework.
   // TODO: Change the above test to false when CF is released.
   ext.checkerFrameworkVersion = '3.34.1-SNAPSHOT'
   dependencies {

gradle/mavencentral.gradle

@@ -4,7 +4,7 @@
 //     ossrhPassword=YOUR_PASSWORD_HERE
 
 // To make a release (run on any filesystem, except the last step):
-//  * Make a local snapshot release and test it on some clients.
+//  * Make a local snapshot release and test it on some clients, such as the Checker Framework.
 //  * git pull
 //  * In ../build.gradle, ensure that "To use a snapshot version" is not enabled.
 //  * Update the version number in ../README.md and in this file (multiple times in each).
@@ -14,15 +14,15 @@
 //  * Run in the top-level directory:  ./gradlew clean publish
 //  * Browse to https://oss.sonatype.org/#stagingRepositories, complete the Maven Central release.
 //  * Add a git tag:
-//    VER=1.8.0 && git commit -m "Version $VER" && git push && git tag -a v$VER -m "Version $VER" && git push && git push --tags
-//  * Make a GitHub release. Go to the GitHub releases page, make a release, call it "plume-util 1.8.0", use the text from ../CHANGELOG.md as the description, attach the .jar and -all.jar files from ../build/libs/ .
+//    VER=1.8.1 && git commit -m "Version $VER" && git push && git tag -a v$VER -m "Version $VER" && git push && git push --tags
+//  * Make a GitHub release. Go to the GitHub releases page, make a release, call it "plume-util 1.8.1", use the text from ../CHANGELOG.md as the description, attach the .jar and -all.jar files from ../build/libs/ .
 //  * Finally, run on the CSE filesystem:  git pull && ./gradlew javadocWeb
 
 apply plugin: 'maven-publish'
 apply plugin: 'signing'
 
 group 'org.plumelib'
-version '1.8.1-SNAPSHOT'
+version '1.8.1'
 
 final isSnapshot = version.contains('SNAPSHOT')