Re: [PATCH] gtphub: fix build: remove obsolete EXTRA_DIST.

[Holger Freyther]

> On 18 Nov 2015, at 16:36, Neels Hofmeyr <nhofm...@sysmocom.de> wrote:
> 
> I'll actually just merge this myself.

yes, go ahead and push this one :)