3 ms·

I agree. Political compromises might not always lead to the best possible result. Linus will be missed!