Skip to content
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

Index entry for DECAY_COPY not formatted #938

Closed
jwakely opened this issue Sep 27, 2016 · 2 comments
Closed

Index entry for DECAY_COPY not formatted #938

jwakely opened this issue Sep 27, 2016 · 2 comments
Labels
tiny An issue with a small change; with "cwg" label: can be applied editorially after CWG consent.

Comments

@jwakely
Copy link
Member

jwakely commented Sep 27, 2016

It should be in italic teletype font.
@jwakely jwakely added the tiny An issue with a small change; with "cwg" label: can be applied editorially after CWG consent. label Sep 27, 2016
@tkoeppe
Copy link
Contributor

tkoeppe commented Sep 27, 2016

Note that INVOKE isn't indexed at all in the main index, only in the library index, but DECAY_COPY is not in the library index.

@tkoeppe
Copy link
Contributor

tkoeppe commented Sep 27, 2016

Fixed by b7bf4fa.

@tkoeppe tkoeppe closed this as completed Sep 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tiny An issue with a small change; with "cwg" label: can be applied editorially after CWG consent.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jwakely @tkoeppe