Comment 2 for bug 800032

Revision history for this message
Richard Mansfield (richard-mansfield) wrote :

On master, a fix for this is no longer necessary due to commit 6ba726582a

On 1.3/1.4, we just need to remove the script; it's unreachable anyway due to bug #800020

Earlier versions may need a real fix along the lines of the patch in the last comment.