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

Changes to #274 #288

Merged
merged 4 commits into from
Dec 29, 2018
Merged

Changes to #274 #288

merged 4 commits into from
Dec 29, 2018

Conversation

mitsuhiko
Copy link
Contributor

@mitsuhiko mitsuhiko commented Dec 29, 2018

Evidently I'm not clever enough to push to a PR so I made a new one to test the build changes.

Replaces #274

@mitsuhiko mitsuhiko merged commit 15b6798 into master Dec 29, 2018
@mitsuhiko mitsuhiko deleted the pr/274 branch December 29, 2018 20:48
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.

3 participants