Re: [Valgrind-users] [Valgrind-developers] tilegx ?

[Julian S. <js...@ac...>]

> On 13/01/17 23:03, Philippe Waroquiers wrote:
> So, no developer, no user, no company person telling anything,
> and public information telling the chip will be replaced.

I agree, I think this port should be removed.  A whole year with absolutely
no signs of user or maintainer activity is, in my view, long enough.

J