Skip to content
This repository was archived by the owner on Aug 11, 2022. It is now read-only.

Conversation

@rhendric
Copy link
Contributor

Fixes #11362

CC @halhenke, whose work in #11115 is connected to this.

@iarna iarna added this to the next milestone Feb 18, 2016
@iarna
Copy link
Contributor

iarna commented Feb 18, 2016

Looks good to me! 🐑

iarna pushed a commit that referenced this pull request Feb 19, 2016
@halhenke
Copy link
Contributor

Looks good to me also 👍

@zkat
Copy link
Contributor

zkat commented Feb 19, 2016

This was merged and included in [email protected] -- Thanks! :D

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants