Fix dead link on reload or open in new tab (#10515)
* make link work in github itself * fix dead link on reload or new tab
J
Jacco van den Berg committed
de3596d4afbd3373d9fc0b6eeb7706e340ad2f1a
Parent: 3c56061
Committed by GitHub <noreply@github.com>
on 7/25/2022, 12:45:52 PM