Re: [PATCH] gnu: Move gtkglext from gnome to gtk.

[Ricardo Wurmus]

Leo Famulari <address@hidden> writes:

> On Wed, Aug 17, 2016 at 01:12:07AM +0200, Danny Milosavljevic wrote:
>> I'll send a patch. We can think of what we want to do with it - but at least 
>> we can see the extent then.
>
> Oh, I see you already sent it. You'd also need to be sure to move the
> copyright authorship lines around properly. I don't think it's worth all
> the noise, to be honest.

I agree that this seems like a lot of noise for little gain (and in some
cases I think the new location isn’t actually an improvement).

~~ Ricardo