Thankfully I was wrong, but it raises the question what makes the bug important enough to find the fix this fast