[CCC DEV] Rename KRoC to kroc?

Matt Jadud matt at jadud.com
Wed Apr 10 14:03:34 BST 2013

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.

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

More information about the developers mailing list