[gnome-continuous] Drop disable-valadoc patch for Vala

[Emmanuele Bassi <ebassi src gnome org>]

commit 9cc291d2357d6148e1372a3196e6b8c1605b254e
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Oct 9 11:18:40 2018 +0100

    Drop disable-valadoc patch for Vala
    
    The option was added upstream.

 manifest.json                      |   1 -
 patches/vala-disable-valadoc.patch | 136 -------------------------------------
 2 files changed, 137 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index b22b80c..588f1d3 100644
--- a/manifest.json
+++ b/manifest.json
@@ -113,7 +113,6 @@
 
                {"src": "gnome:vala.git",
                  "name": "vala",
-                 "patches": ["vala-disable-valadoc.patch"],
                 "config-opts": ["--disable-valadoc"]},
 
                {"src": "git:https://github.com/seccomp/libseccomp.git";,