Auto-merge PR#4037

Auto-merge PR#4037
This commit is contained in:
CVE Team 2020-06-11 15:20:13 -04:00 committed by GitHub
commit a289835b97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -83,6 +83,6 @@
]
},
"source": {
"discovery": "INTERNAL"
"discovery": "EXTERNAL"
}
}
}