Re: Segmentation fault

[Neil Jerram]

address@hidden (Ludovic Courtès) writes:

>>> (I had forgotten about it, which may be an indication that we should
>>> really start using the bug tracker.)
>>
>> What would that involve?
>
> Not much actually.  Just mention it in the relevant pieces of
> documentation.  The bug tracker automatically sends emails to
> `bug-guile' when new bugs are reported or when the status of existing
> bugs changes.  We can also assign a bug to a specific developer, which
> can help coordinate efforts.

So would then ask people to raise bugs on savannah, instead of
emailing bug-guile?  Or can we implement something to catch emails to
bug-guile and automatically raise corresponding bugs on savannah?
(Surely someone has done that already?)

> Can you also add a `NEWS' entry?

Yes.  Everything related to this fix is now done, in 1.6, 1.8 and
HEAD.

     Neil