[Bug 711091] gss-server tool names clashes with libkrb5

[GStreamer (bugzilla.gnome.org)]

https://bugzilla.gnome.org/show_bug.cgi?id=711091
  GStreamer | gst-streaming-server | git

--- Comment #6 from Reynaldo H. Verdejo Pinochet <reynaldo at opendot.cl> 2013-11-12 22:09:06 UTC ---
David? Can you take a look and suggest how to go forward
with this one?

-- 
Configure bugmail: https://bugzilla.gnome.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.