[Bug 787727] New: player: cosmetic changes

[GStreamer (GNOME Bugzilla)]

https://bugzilla.gnome.org/show_bug.cgi?id=787727

            Bug ID: 787727
           Summary: player: cosmetic changes
    Classification: Platform
           Product: GStreamer
           Version: git master
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: Normal
         Component: gst-plugins-bad
          Assignee: gstreamer-bugs at lists.freedesktop.org
          Reporter: philippe_renon at yahoo.fr
        QA Contact: gstreamer-bugs at lists.freedesktop.org
     GNOME version: ---

Two minor cosmetic changes. See attached patches.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
You are the assignee for the bug.