This isn't a patch that fixes the bug but a script that works around the issue to get things working again. Unsubscribing reviewers.
This isn't a patch that fixes the bug but a script that works around the issue to get things working again. Unsubscribing reviewers.