mig and debian/

[Marcus Brinkmann]

Hi,

should debian/ be in mig-1.2.tar.gz?  It isn't right now, and it is fine not
to include it, it will make a nice content for the debian diff.  We should
then have debian/ChangeLog, though, so it isn't so confusing.

Or we put debian into the distribution, which is also nice.

Same applies to hurd and gnumach, I think.

Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org address@hidden
Marcus Brinkmann              GNU    http://www.gnu.org    address@hidden
address@hidden
http://www.marcus-brinkmann.de