by Petr Škoda.
Hmm, most core developers go on vacation in December/January or July/August. Maybe this change might result in more critical bugfixes included in .1 releases.
