This error occurred when deploying release 20231013 to the public Maven repo, and resulted in the Module Info changes being reverted. See this wiki page for the release instructions. This issue should be fixed before #761 can be merged.