github-drama icon indicating copy to clipboard operation
github-drama copied to clipboard

Published 20 hours ago • verified publisher icon nikolas

Rust's dining philosophers

Open ghost opened this issue 6 years ago • 3 comments

https://github.com/rust-lang/rust/pull/25640

ghost avatar Apr 05 '18 06:04 ghost

Is this drama or just "something i personally don't agree with so i'm throwing it in the drama pile".

I don't see any drama.

quat1024 avatar Apr 06 '18 04:04 quat1024

What a stupid discussion.

OptimusCrime avatar Apr 06 '18 06:04 OptimusCrime

Stupid or not, the discussion is too civil to be qualified as drama

bullno1 avatar Apr 06 '18 06:04 bullno1