Comment by wging

7 years ago

relevant line:

> The CoreOS corporation was purchased by Red Hat in January 2018 for a purchase price of $250 million.[71]