Closed kriskowal closed 1 week ago
Fixes broken references introduced in #2338.
Note that Github and our Github pages generate different section anchors from headings, so I’ve created one manually that collides with neither.
Fixes broken references introduced in #2338.
Note that Github and our Github pages generate different section anchors from headings, so I’ve created one manually that collides with neither.