add missing semicolon #6

wants to merge 1 commit into


None yet

2 participants


for consistency.


fixed on my local machine - will eventually migrate to develop and master

Robert Ramey
Robert Ramey Software Development

On Sep 10, 2014, at 11:29 PM, Akira Takahashi wrote:

for consistency.

You can merge this Pull Request by running

git pull patch-1
Or view, comment on, or merge it at:


Commit Summary

add missing semicolon
File Changes

M doc/void_cast.html (2)
Patch Links:

Reply to this email directly or view it on GitHub.

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