On 01/18/2016 02:45 PM, Zach Welch wrote: > On 01/15/2016 10:48 AM, Mike Stump wrote: >> On Jan 15, 2016, at 10:40 AM, Zachary T Welch <zwe...@codesourcery.com> >> wrote: >>> Does this version look better? >> >> Ok. >> >>> I am not sure if this the right place to put the new helper, so let me know >>> if there is a better spot for it. >> >> So, someone that wants to rehome the helper is free to do that. > > Excellent. I do not have write access to the repository, so can this > get committed?
Ping. From what I see, my patch has not yet been committed. Can I talk someone into taking care of that for me? FWIW, I developed it for 5.2, but I am happy seeing it go in on any branch that makes sense. Thanks, -- Zach Welch Mentor Graphics Corporation zwe...@codesourcery.com (503) 685-5434