Subject: Re: bug#23529: Request for fixing randomize_va_space build issues

From: Eli Zaretskii <[email-masked]>
Date: Tue, 13 Sep 2016 18:55:05 +0300

> From: Philippe Vaucher <[email-masked]>
> Date: Tue, 13 Sep 2016 17:21:18 +0200
> Cc: Paul Eggert <[email-masked]>, Philipp Stephani <[email-masked]>, [email-masked]
> 
> I thought you wanted to keep the dumping feature tho, maybe I
> missunderstood you (again) :-)

I want to keep the ability of users to add more packages to the stuff
that is automatically available at startup.