Re: [boost] The Vault is Dead, Long Live the Vault... [was; Re: File Vault broken]

I've moved my file to the new place, but I am not able to delete the original directory, which is of no use yet. Could you do this plaeas? The name of the directory is: thread_alert.

Same happens with thread_ex. Regards, Ion