This isn't a matter of just tweaking some code, running your test suite and having someone buddy your check-in. Once they've identified the bug and come up with a solution they probably have to fly an airliner around for a while, deliberately trying to break it, to confirm that it worked.