Re: The --unload option

Hey,

On Sat, 2004-06-26 at 21:56, Julio M. Merino Vidal wrote:
> Hi all,
> 
> some time ago, the list of things to be done during the 2.7 branch was
> posted here.  One of those items was the addition of the --unload option,
> which has been in bugzilla for a (long) time.  In concrete, it's in
> bug #130129: http://bugzilla.gnome.org/show_bug.cgi?id=130129.

	I've applied this, changed it around a little and spent a good deal of
time fixing bugs it turned up with the merge files stuff in the markup
backend. Its ready to go in now, but unfortunately my ISP has decided to
pick now as a good time to route my packets in a loop around Amsterdam
or something. I'll commit soon.

> PS: and what about bug #134517? ;)

	I'll remember to look at this too (whatever it is :-)

Cheers,
Mark.