Skip to content

Fix potentially serious bug in Deflect server#55

Merged
rdumusc merged 1 commit into
BlueBrain:masterfrom
rdumusc:master
Jul 5, 2016
Merged

Fix potentially serious bug in Deflect server#55
rdumusc merged 1 commit into
BlueBrain:masterfrom
rdumusc:master

Conversation

@rdumusc
Copy link
Copy Markdown

@rdumusc rdumusc commented Jul 5, 2016

No description provided.

@dnachbaur
Copy link
Copy Markdown
Contributor

+1

@rdumusc rdumusc merged commit 321ac65 into BlueBrain:master Jul 5, 2016
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