Re: [PATCH 1/6] eth-filter: fix receiver lookups

[Samuel Thibault]

Justus Winter, le Fri 11 Apr 2014 15:34:09 +0200, a écrit :
> -DIST_FILES = ourdevice.defs notify.defs
> +DIST_FILES = device.defs notify.defs

Mmm, why keeping device.defs?  Shouldn't we be using the one from
gnumach?

Samuel