Skip to content

Conversation

@chrizel
Copy link
Contributor

@chrizel chrizel commented Aug 6, 2019

No description provided.

@marijnh marijnh merged commit 3ad000c into marijnh:master Aug 6, 2019
marijnh added a commit that referenced this pull request Aug 6, 2019
@marijnh
Copy link
Owner

marijnh commented Aug 6, 2019

Thanks for spotting that! Added to the errata in attached patch.

@chrizel chrizel deleted the patch-1 branch August 6, 2019 08:31
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