Skip to content
This repository was archived by the owner on Feb 24, 2020. It is now read-only.

Conversation

@s-urbaniak
Copy link
Contributor

Fixes #3316

@jonboulle
Copy link
Contributor

lgtm

@jonboulle jonboulle merged commit 01be3f4 into rkt:master Oct 26, 2016
@s-urbaniak s-urbaniak deleted the issue-3316 branch November 7, 2016 12:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants