PR #637 Remove patch which landed

Remove patch which landed #637

dlibenzi merged 1 commit into master from asuhan/remove_patches

Remove patch which landed

7c02e644

asuhan requested a review from

dlibenzi 6 years ago

dlibenzi approved these changes on 2019-04-25

dlibenzi merged 262c360b into master 6 years ago

asuhan deleted the asuhan/remove_patches branch 6 years ago

Reviewers

dlibenzi

Assignees

No one assigned

Labels

None yet

Milestone

No milestone