Re: Crash in 2.25.4

[Jean Abou Samra]

> I'm going nuclear tomorrow: delete my clone, and start over.


No need to be *that* nuclear, you can just remove the build directory and start 
a fresh build.