TDE 3.5.13 for Fedora 17

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