Re: segfault in http-push

Johannes Schindelin [off-list ref] writes:

Hi,

On Sun, 17 Feb 2008, Bob Copeland wrote:

quoted

On Sun, Feb 17, 2008 at 11:23:38PM +0000, Johannes Schindelin wrote:

quoted

Alas, a fix I provided for exactly this case did not make it into 
master yet, let alone into any released version.  Can you please test 
the current "next"?

Yep, next fixes it for me, thanks!

Thanks for testing!

Ciao,
Dscho "who is pleased that we fix some bugs before they are reported"

Wonderful.

I take this as a go ahead to merge js/maint-http-push topic to 'maint'
before we cut 1.5.4.3.

Thanks both of you, especially Dscho.