Merge pull request #447 from rshura/fix-timeout-desc

Fix description of TIMEOUT command -- seconds are not optional.
2019-04-26 12:47:46 -07:00 · 2019-04-26 12:47:46 -07:00 · e8801fd45a
parent 623715e315 51b0de5670
commit e8801fd45a
2 changed files with 0 additions and 2 deletions
--- a/core/commands.json
+++ b/core/commands.json
@ -1304,7 +1304,6 @@
    "arguments": [
      {
        "name": "seconds",
-        "optional": true,
        "type": "double"
      },
      {
--- a/core/commands_gen.go
+++ b/core/commands_gen.go
@ -1470,7 +1470,6 @@ var commandsJSON = `{
    "arguments": [
      {
        "name": "seconds",
-        "optional": true,
        "type": "double"
      },
      {