PR #398 Remove PR patch that landed.

Remove PR patch that landed. #398

dlibenzi merged 1 commit into master from rm_c10half_patch

Remove PR patch that landed.

4ceb08e9

dlibenzi requested a review from

asuhan 6 years ago

asuhan approved these changes on 2019-03-05

dlibenzi merged 6db4fff3 into master 6 years ago

Reviewers

asuhan

Assignees

No one assigned

Labels

None yet

Milestone

No milestone