  Lunny XiaoandGitHub
|
162f2841d0
|
Rename develop -> development, contribute -> contributing, administer -> administration (#23662)
backport #23629
To make versioned documentation less surprising, 1.19 should have the
same technology.
|
2023-03-23 15:44:09 -05:00 |
|