Minor IDL fixes. #173

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

Merged

chcunningham merged 1 commit into main from idl_cleanups

Apr 9, 2021

Collaborator

chcunningham commented Apr 9, 2021 •

edited by pr-preview bot

Loading

Fixes #164


          Minor IDL fixes.

e2750f2

Fixes #164

Collaborator Author

chcunningham commented Apr 9, 2021

@padenot @aboba FYI, going ahead w/ merge for this very minor change.

chcunningham merged commit a5e12fc into main

chcunningham deleted the idl_cleanups branch

June 2, 2021 03:45

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

Labels

None yet