New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Incorrect underline character in the title of [util.smartptr.getdeleter] #844

Closed

LYP951018 opened this issue Jul 21, 2016 · 4 comments

LYP951018 commented Jul 21, 2016

No description provided.

Contributor

tkoeppe commented Jul 21, 2016

What exactly is the problem here? Looks like WAI/NAD to me.

Member

jwakely commented Jul 21, 2016

There's nothing wrong with the underscore, but it should be in code font.

Contributor

tkoeppe commented Jul 21, 2016

Ah yes, that's an actual issue. Fix coming up.

Contributor

tkoeppe commented Jul 21, 2016

Fixed by 6b82a23.

tkoeppe closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment