Every time I compile I get this error
therion: warning -- error deleting temporary directory -- /tmp/th7128
eventually it fills up my drive, that makes lots of horrible things happen
I also noticed that the same happened on Wookeys machine, both Debian
Wheezy, running 5.3.9 and 5.3.10
thanks
Andrew