[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 #5 from Tim-Philipp Müller <t.i.m at zen.co.uk> 2013-11-05 20:51:41 UTC ---
It's Dave's call.

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