On Tuesday 01 January 2013 17:08:26 Gerhard Zintel wrote:
> I haven't yet installed TDE 3.5.13.2, it's still 3.5.13.1 here

I use Slávek's repositories, so have effectively a rolling release.  I didn't 
realise that I had reached 3.5.13.2 until I checked before writing this.

Lisi