[email protected]#4720

publish-to-bcr-bot[bot] wants to merge 1 commit intobazelbuild:mainbazelbuild/bazel-central-registry:mainfrom

theoremlp:theoremlp/[email protected]theoremlp/bazel-central-registry:theoremlp/[email protected]Copy head branch name to clipboard