[Therion] Failed to delete tmp directories

[Sluka Martin]

On 28.11.2012, at 17:42, Andrew Atkinson wrote:

> I also noticed that the same happened on Wookeys machine, both Debian
> Wheezy, running 5.3.9 and 5.3.10

MacosX too, from the beginning of Therion ;)

m.