Skip to content

Conversation

@j0sh
Copy link
Contributor

@j0sh j0sh commented Jul 1, 2016

This reverts commit 0d56d33.

Duplicate of 4229e4b.

@hhugo hhugo merged commit 28f0269 into ocsigen:master Jul 1, 2016
@hhugo
Copy link
Member

hhugo commented Jul 1, 2016

good catch. thanks

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