Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This was brought up in ticket #109744. I cannot change the header of the section, as it will break links. But at least we can avoid stressing the constancy as much.
- Loading branch information