[vala/0.40] girparser: Skip 'docsection' elements in <namespace>

[Rico Tzschichholz <ricotz src gnome org>]

commit 48216ecce1029641d46a6d0be901228553dc68ca
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Thu Jul 23 08:24:15 2020 +0200

    girparser: Skip 'docsection' elements in <namespace>
    
    See https://gitlab.gnome.org/GNOME/gobject-introspection/-/merge_requests/226

 vala/valagirparser.vala | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 18d2d7a0b..dd2039d5f 100644
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -2231,6 +2231,8 @@ public class Vala.GirParser : CodeVisitor {
                                }
                        } else if (reader.name == "constant") {
                                parse_constant ();
+                       } else if (reader.name == "docsection") {
+                               skip_element ();
                        } else {
                                // error
                                Report.error (get_current_src (), "unknown child element `%s' in 
`namespace'".printf (reader.name));