Skip to content

Conversation

@powturns
Copy link

@powturns powturns commented Oct 2, 2012

No description provided.

@buildhive
Copy link

Taimos GmbH » GPSd4Java #7 FAILURE
Looks like there's a problem with this pull request
(what's this?)

hoegertn added a commit that referenced this pull request Oct 7, 2012
@hoegertn
Copy link
Member

hoegertn commented Oct 7, 2012

Merged it manually because development takes place in develop branch. Master is for released versions.

@hoegertn hoegertn closed this Oct 7, 2012
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.

3 participants