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

fix patching again #586

Merged
merged 2 commits into from
Oct 26, 2018
Merged

fix patching again #586

merged 2 commits into from
Oct 26, 2018

Conversation

xaviergonz
Copy link
Contributor

Fixed #579
hopefully for the last time :)
with unit tests

@xaviergonz xaviergonz self-assigned this Oct 24, 2018
@xaviergonz
Copy link
Contributor Author

@mweststrate done

@mweststrate mweststrate merged commit 5fe98f2 into master Oct 26, 2018
@danielkcz danielkcz deleted the fix-patching-3 branch June 10, 2019 11:37
@github-actions github-actions bot mentioned this pull request Oct 13, 2020
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