zentol commented on a change in pull request #13356:
URL: https://github.com/apache/flink/pull/13356#discussion_r495976247
##########
File path: docs/_includes/generated/jmx_server_configuration.html
##########
@@ -1,18 +0,0 @@
-<table class="table table-bordered">
- <thead>
- <tr>
- <th class="text-left" style="width: 20%">Key</th>
Review comment:
this shouldn't be deleted; even if options are included in specific
sections we also always generate a separate table for each originating file
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
