Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign uprendering of _realm_ #472
Comments
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
Interesting! Good find... |
bterlson
added
the
rendering bug
label
Mar 18, 2016
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
Looks like this got fixed at some point. |
jmdyck
closed this
Jul 30, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
jmdyck commentedMar 12, 2016
When
_realm_appears in the source (e.g., in ModuleDeclarationInstantiation), it is rendered as a link to the term 'realm', rather than as a variable.