Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update Fedora installation instructions in docs
For [the Fedora installation instructions for Bazel 4](https://docs.bazel.build/versions/4.0.0/install-redhat.html), it says to do `dnf install bazel3`, but since the docs are for v4 I think it should be `dnf install bazel4` Closes #13255. PiperOrigin-RevId: 364957060
- Loading branch information