Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes: > I intend to add a gnumach-lean to the gnumach package. This will increase > its size by about 200kB. Is this acceptable, or do you favour a split up > into a seperate binary package? I have a preference for using a different package, but it's not a terribly strong preference.