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

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

--- 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 eef88f7..3e722cb 100644 --- a/tester/rt/coverage.py +++ b/tester/rt/coverage.py @@ -256,10 +256,9 @@ class symbol_parser(object): sel