Stef has forgotten to announce this change, hopefully he has submitted the change just before the deadline!
http://bugzilla.gnome.org/show_bug.cgi?id=547271 It replaces 'Cannot set a random seed' to 'Unable to initialize the random number generator'. Stéphane _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
