Hello everyone, As a part of the ongoing cleaning and refactoring, I'm about to remove the smooshlab and KLEE from zorg. If you are still using any of these projects, please speak up now. Thanks Galina -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140813/69e34d30/attachment.html>