<p dir="ltr">In 13.04 I have used it since the fresh install and I haven't experienced any issue. <br>
Using it or not is at your will. </p>
<p dir="ltr">Lots of extensions are already updated, AFAIK. </p>
<p dir="ltr">Alfredo </p>
<div class="gmail_quote">On 7 Sep 2013 11:45, "HadiM" <<a href="mailto:marelo64@gmail.com">marelo64@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Hello,<div><br></div><div>I saw gnome 3.10 packages in ppa staging but I am not certain it's very safe to use this ppa for daily usage. I know Ubuntu won't bring Gnome 3.10 in 13.10 but I would like to know if Ubuntu Gnome team planned to bring it in gnome 3 ppa ?<div>


<br></div><div>And what about gnome extension if we enable gnome 3.10 ? It will be the same mess as when we switch from 3.6 to 3.8 ? Will we have to wait extension developers upgrade to the new API (even if most of the time it's only about adding 3.10 in metadata.json...).</div>


<div><br></div><div>Thank you guys !<br><div><br clear="all"><div><br>--<br>HadiM</div>
</div></div></div></div>
<br>--<br>
Ubuntu-GNOME mailing list<br>
<a href="mailto:Ubuntu-GNOME@lists.ubuntu.com">Ubuntu-GNOME@lists.ubuntu.com</a><br>
Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome" target="_blank">https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome</a><br>
<br></blockquote></div>