3 ms·

After reading the article I have a strong feeling that without RedHat there wouldn't be such a happy ending. Great contribution on their part.