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? Thanks, -- Zach Welch Mentor Graphics Corporation zwe...@codesourcery.com (503) 685-5434
