=== Amaranth__ is now known as Amaranth
=== Amaranth__ is now known as Amaranth
=== Amaranth_ is now known as Amaranth
=== ogra is now known as Guest23759
=== tkamppeter_ is now known as tkamppeter
[23:30] <valorin> I am having trouble using the gnome3-team PPA for gnome-shell. Is this the right place to ask for help?