Hacker News new | ask | show | jobs
by account42 1248 days ago
> default

Sounds like someone else did make the choice for Linus, even if it could have been overruled.