ros/catkin — pull request #641 by dirk-thomas (2014-05-27 16:33:50+00:00)
Title: fix rollback of environment when workspace has been deleted

@jbohren Please verify that this patch address the issue were able to reproduce in https://github.com/catkin/catkin_tools/issues/47#issuecomment-44228618