Merge pull request #302 from dyninst/wrwilliams/pcontrol_fix
authorBill Williams <wwilliam47@gmail.com>
Wed, 21 Dec 2016 21:54:25 +0000 (15:54 -0600)
committerGitHub <noreply@github.com>
Wed, 21 Dec 2016 21:54:25 +0000 (15:54 -0600)
commit9e00b20624a06c9d50de6ae2f77b342c4ff6c82b
tree19547b2c5571f08c48416d98053144175c464bcf
parent5f323c2ff740f30614e8cb9f1eef55d8c8f217c8
parent2d67e1211ad832efbad51f2bdb32ee09afe17631
Merge pull request #302 from dyninst/wrwilliams/pcontrol_fix

Bug fix for PR#294