[CCC DEV] Rename KRoC to kroc?

[Matt Jadud]

Hi all,

With the Git move, the repository became "KRoC". Is there strong sentiment
about this, or can I do a rename on the repository to "kroc," eliminating
the mixed case?

It makes for a more difficult repository URL if we leave it mixed.

Cheers,
M
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.concurrency.cc/pipermail/developers/attachments/20130410/8b8567a3/attachment.htm>