On 8/17/18 6:29 AM, Omar Sandoval wrote: > I don't have commit rights (first time contributor), so if this change is okay > could it please be applied?
Hi, thanks for the patch, I've committed the approved version. [ In case you don't have one already ... ] if you want to continue contributing, it's a good idea to get a copyright assignment in place ( https://gcc.gnu.org/contribute.html#legal ). Thanks, - Tom
