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

On 18 Nov 2015, at 16:36, Neels Hofmeyr <nhofmeyr@sysmocom.de> wrote:

I'll actually just merge this myself.

yes, go ahead and push this one :)