[Bug 731541] minor introspection fixes

[GStreamer (bugzilla.gnome.org)]

https://bugzilla.gnome.org/show_bug.cgi?id=731541
  GStreamer | gstreamer (core) | unspecified

Tim-Philipp Müller <t.i.m> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |t.i.m at zen.co.uk
         Resolution|                            |FIXED
   Target Milestone|HEAD                        |1.3.3

--- Comment #1 from Tim-Philipp Müller <t.i.m at zen.co.uk> 2014-06-12 08:49:03 UTC ---
Thanks, pushed:

 commit 2a14482c6237ba2b3513560a3211e6dc0f6a4dc8
 Author: Evan Nemerson <evan at nemerson.com>
 Date:   Wed Jun 11 16:28:51 2014 -0700

    introspection: minor annotation additions

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

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