Merge pull request #132945 from Artturin/maxsilent

2021-08-07 12:30:57 +02:00
parent 3366c56a93 40944bbab7
commit f3d4f19fdf
1 changed files with 1 additions and 0 deletions
@@ -231,6 +231,7 @@ let
    timeout = int;

    # Weirder stuff that doesn't appear in the documentation?
+    maxSilent = int;
    knownVulnerabilities = listOf str;
    name = str;
    version = str;