[klee-dev] New location for the KLEE codebase

[Cristian Cadar]

Hi all,

We have a new location for the KLEE codebase: I have just moved it from 
my personal GitHub account to
                *** https://github.com/klee/klee.git ***

All other related projects now reside under https://github.com/klee/, 
e.g., klee-uclibc and klee-buildbot.

In principle, you don't need to update anything on your side.  However, 
GitHub advises to change existing local clones to point to the new 
repository URL, see 
https://help.github.com/articles/how-to-transfer-a-repository#redirects-and-git-remotes

Best wishes,
Cristian