[glib] gmain: Note that g_source_destroy() can be called multiple times

[Philip Withnall <pwithnall src gnome org>]

commit 5d71376763744c26005e918d21f3bd26d884388e
Author: Philip Withnall <philip withnall collabora co uk>
Date:   Fri Jan 31 12:16:15 2014 +0000

    gmain: Note that g_source_destroy() can be called multiple times
    
    https://bugzilla.gnome.org/show_bug.cgi?id=723360

 glib/gmain.c |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/glib/gmain.c b/glib/gmain.c
index 8fd961b..5606ccc 100644
--- a/glib/gmain.c
+++ b/glib/gmain.c
@@ -1249,7 +1249,8 @@ g_source_destroy_internal (GSource      *source,
  * 
  * Removes a source from its #GMainContext, if any, and mark it as
  * destroyed.  The source cannot be subsequently added to another
- * context.
+ * context. It is safe to call this on sources which have already been
+ * removed from their context.
  **/
 void
 g_source_destroy (GSource *source)