Re: [PATCH] coverage: remove utf-8 encoding in symbolset names

This has been pushed. Thanks. On Fri, Mar 22, 2019 at 10:26 AM Joel Sherrill wrote: > I am testing this now and then will apply. > > On Fri, Mar 22, 2019 at 10:05 AM Vijay Kumar Banerjee < > vijaykumar9...@gmail.com> wrote: > >> --- >> tester/rt/coverage.py | 3 +-- >> 1 file changed, 1 inserti

Re: [PATCH] coverage: remove utf-8 encoding in symbolset names

I am testing this now and then will apply. On Fri, Mar 22, 2019 at 10:05 AM Vijay Kumar Banerjee < vijaykumar9...@gmail.com> wrote: > --- > tester/rt/coverage.py | 3 +-- > 1 file changed, 1 insertion(+), 2 deletions(-) > > diff --git a/tester/rt/coverage.py b/tester/rt/coverage.py > index eef88