Нет Там сторонников мини-патчей вообще нет. Мини патчи выпускаются, если надо, паралельно разработке "настоящего" патча. А тут просто ошыбка получилась, вот и патч такой