Thanks for sharing this tip and confirming that it works. Theoretically we should enable tool chain PPA for 13.10 just like what we did for 12.04/13.04.
Thanks for sharing this tip and confirming that it works. Theoretically we should enable tool chain PPA for 13.10 just like what we did for 12.04/13.04.