Re: [DynInst_API:] commit: assorted fixes, pre-9.0.4

2015-10-20 Thread Bill Williams
On 10/20/2015 06:57 AM, Barton Miller wrote: We can certainly turn this into a regular release instead of a point release. Bill: do you want to upgrade this release? Or pull this feature out of the point release? Or argue for another approach? I definitely want to get the bug fixes officia

Re: [DynInst_API:] commit: assorted fixes, pre-9.0.4

2015-10-20 Thread Barton Miller
We can certainly turn this into a regular release instead of a point release. Bill: do you want to upgrade this release? Or pull this feature out of the point release? Or argue for another approach? --bart On 10/19/2015 6:22 PM, Josh Stone wrote: On 10/19/2015 02:43 PM, Bill Williams wro