Closed crowlKats closed 2 years ago
So does it unfix something else?
It unfixes https://github.com/denoland/dotland/pull/2304#issuecomment-1195477952
There is an alternative fix to that issue in https://github.com/denoland/dotland/pull/2307
On a side note, despite this restores the heading anchor, it doesn't look good:
Compare to GitHub:
Yea, i will then merge @kidonng 's PR after this lands, its good enough for now
@kidonng it always has looked like that on the manual
@kidonng it always has looked like that on the manual
I don't know, it's just a minor issue and I mentioned it in case in may you want to adjust it.
Reverts denoland/dotland#2310 Fixes #2320