xla
Add infrastructure to apply outstanding PT PRs.
#183

Merged

Add infrastructure to apply outstanding PT PRs. #183

dlibenzi merged 2 commits into master from cond_patches

dlibenzi force pushed from ad69ddcc to 9ba895d4 7 years ago

asuhan commented on 2019-02-05

dlibenzi force pushed from 9ba895d4 to 406c5ae6 7 years ago

dlibenzi force pushed from 406c5ae6 to 178e9b67 7 years ago

dlibenzi force pushed from 178e9b67 to c49a8e46 7 years ago

asuhan requested a review from

jysohn23 7 years ago

asuhan requested a review from

ailzhang 7 years ago

ailzhang approved these changes on 2019-02-05

jysohn23 approved these changes on 2019-02-05

asuhan requested changes on 2019-02-05

asuhan approved these changes on 2019-02-05

Add infrastructure to apply outstanding PT PRs.

164caa8a

Added a README and removed the now-applied PR patch.

0d55b021

dlibenzi force pushed from a47d15ec to 0d55b021 7 years ago

dlibenzi merged f3e974f9 into master 7 years ago

Reviewers

jysohn23

asuhan

ailzhang

Assignees

No one assigned

Labels

None yet

Milestone

No milestone