It's slightly worse than that: the bug was reported in September; December appears to be when they had the patch ready. So there were two months of apparently

It's slightly worse than that: the bug was reported in September; December appears to be when they had the patch ready. So there were two months of apparently unjustified delay.