Call for the next release codename to be Ritchie

[Ivan Čukić]

I guess I should have posted this to release team mailing list, but
this way the topic will have more people involved.

As you all (probably) know, Dennis Ritchie has passed away. In my
opinion, we should somehow make tribute to him.

I'm not sure the idea to name a release after him would be fitting,
but that's the only thing I've came up with.


--
Ivan