This file is a placeholder for a fix that has been removed.