Re: [jlreq] Spacing between punctuations of different size / font (#275)

The one under /docs/ is now more up to date. I think we can close this one as resolved.

GitHub Notification of comment by kidayasuo
Please view or discuss this issue at using your GitHub account

Sent via github-notify-ml as configured in

Received on Wednesday, 6 October 2021 08:07:44 UTC