Skip to content

Conversation

@doudou
Copy link
Member

@doudou doudou commented Oct 31, 2017

This is a build fix made necessary by orocos-toolchain/orogen#105

It is a no-op otherwise, so it can be merged beforehand.

@doudou doudou merged commit 7a056d5 into master May 4, 2018
@doudou doudou deleted the orogen-win32 branch May 4, 2018 13:13
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.

2 participants