Last week, a good chunk of the digital world shut down and stopped working due to an update that caused Microsoft’s Windows operating system to crash and display a blue screen on millions of devices. This affected places like hospitals, schools, and airports. But one airline, unlike the others, was spared from the…