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

[dcl.type.cv] Do not use \grammarterm in heading #1946

Merged

zygoloid merged 1 commit into cplusplus:master from jensmaurer:b28

Feb 28, 2018

Member

jensmaurer commented Feb 28, 2018

\fakegrammarterm is the right approach here.

Fixes #1945.


          [dcl.type.cv] Do not use \grammarterm in heading

83654c7

jensmaurer requested a review from zygoloid

February 28, 2018 08:08

zygoloid merged commit 7b14fe1 into cplusplus:master

jensmaurer deleted the b28 branch

February 28, 2018 22:35

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