#1002 (Aug 14, 2024, 4:09:07 AM)

	Changes Minor documentation fixes (details / gitlab)
	Started by an SCM change
	Revision: 3fc98ec996077abb9a5fbbc94411d8bdfc0aac67 Repository: https://gitlab.com/petsc/petsc.git refs/remotes/origin/release
	SCM: git https://gitlab.com/petsc/petsc.git Commits since last build: 0 Latest commit: 3fc98ec