Skip to content
This repository has been archived by the owner on Dec 6, 2022. It is now read-only.

fix: do not ignore cid.options #20

Merged
merged 2 commits into from
Jun 27, 2018
Merged

fix: do not ignore cid.options #20

merged 2 commits into from
Jun 27, 2018

Conversation

richardschneider
Copy link
Contributor

No description provided.

Copy link
Member

@vmx vmx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please squash merge.

@vmx
Copy link
Member

vmx commented Jun 27, 2018

Please ignore the failure on Travis (i disabled it, so it won't happen again).

@richardschneider richardschneider merged commit 177ddc5 into master Jun 27, 2018
@richardschneider richardschneider removed the status/in-progress In progress label Jun 27, 2018
@richardschneider richardschneider deleted the cid-options1 branch June 28, 2018 08:38
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