libgnomeui 2.13.2 ----------------- * Sync GOption code with latest libgnome (Christian)