Submitting a fix

[David Neary]

Hi all,

I've fixed a bug (bug #9156), but I don't know how to go about
submitting the fix (making a diff file, where to send it, that kind of
thing) - can someone point me to a page that explains it, or should I
post it here? It's a one-line fix...

Cheers,
Dave.

-- 
                Dave Neary,
        Software engineer, Informix Dublin.
                Ireland.
        Phone: +353-1-409-1357