Hello, a little message to inform you that TDE 3.5.13 (+some updates) is 
successfully compiled and packaged for Fedora 17 (gcc 4.7), i386 and x86_64.

Now some work for Tim or anyone with sufficient access :-)
Can you please:
- Add Fedora 16 and Fedora 17 on the main page: 
http://www.trinitydesktop.org/
- Add Fedora 17 to the download instructions page: 
http://www.trinitydesktop.org/installation.php#redhat (copy/paste Fedora 
16, replace f16 with f17 ...)
- Enable the replication of the "f17" folder from my server to the TDE 
mirrors.

I hope that we freeze a TDE 3.5.13.1 very soon so that I can build a 
Fedora 17 liveCD with the latest stable TDE version.

Thanks
François