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.
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.