Github user aljoscha commented on a diff in the pull request:

    https://github.com/apache/flink/pull/5471#discussion_r167854183
  
    --- Diff: docs/_includes/generated/task_manager_configuration.html ---
    @@ -0,0 +1,146 @@
    +<table class="table table-bordered">
    +    <thead>
    +        <tr>
    +            <th class="text-left" style="width: 20%">Key</th>
    +            <th class="text-left" style="width: 15%">Default</th>
    +            <th class="text-left" style="width: 65%">Description</th>
    +        </tr>
    +    </thead>
    +    <tbody>
    +        <tr>
    +            <td><h5>task.cancellation.interval</h5></td>
    --- End diff --
    
    The description for those two should probably be carried over from the old 
doc


---

Reply via email to