Skip to content

Remove unused 'sys/remote.h' header#4323

Merged
ethomson merged 1 commit into
masterfrom
ethomson/remove_sys_remote_h
Jul 31, 2017
Merged

Remove unused 'sys/remote.h' header#4323
ethomson merged 1 commit into
masterfrom
ethomson/remove_sys_remote_h

Conversation

@ethomson
Copy link
Copy Markdown
Member

Fixes #4208

@ethomson ethomson merged commit dca8c44 into master Jul 31, 2017
@ethomson ethomson deleted the ethomson/remove_sys_remote_h branch January 9, 2019 10:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant