3 ms·

I think it's been gnu11 for a few years now.

• jeroenhd 11mo ago
  Ah, you're right, I guess I must've been directed to an outdated documentation site when I looked up the exact configuration Linux uses. Still, it's not the official C standard, but a specific flavour of C11, so my point still stands.