Who are using 3.5.13.x series?

Hi to all, I know that there are still many users who use TDE 3.5.13.x series. Please, you use official 3.5.13.2 or my older PPA 'axis'? For those who use PPA 'axis': You've probably noticed that some time ago there were several updates. I would therefore ask you whether you can change the address in the sources.list from original ppa.quickbuild.pearsoncomputing.net to mirror.ppa.trinitydesktop.org. Benefits will be on both sides. Because on mirror.ppa are packages for most of distributions in the local cache, you'll have faster downloads. And thanks to this will be less load of line to the master server. Cheers -- Slávek