On Fri, Apr 5, 2013 at 12:30 AM, Alberto Ruiz <ar...@gnome.org> wrote: > The point is made, let's just ignore him and move along, we have > better things to do.
I have better thing to do, either. It was just a bug notice. _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list