Deployed 89f8f04 to dev with MkDocs 1.3.0 and mike 1.1.2

dev/UPGRADING/index.html

@@ -366,6 +366,13 @@
     gRPC cc.arduino.cli.commands.v1.Platform message has been changed.
   </a>
 
+</li>
+
+          <li class="md-nav__item">
+  <a href="#debugging_supported-field-has-been-removed-from-grpc-ccarduinoclicommandsv1boarddetails-and-board-details-command-in-cli" class="md-nav__link">
+    debugging_supported field has been removed from gRPC cc.arduino.cli.commands.v1.BoardDetails and board details command in CLI
+  </a>
+
 </li>
 
       </ul>
@@ -2535,6 +2542,13 @@
     gRPC cc.arduino.cli.commands.v1.Platform message has been changed.
   </a>
 
+</li>
+
+          <li class="md-nav__item">
+  <a href="#debugging_supported-field-has-been-removed-from-grpc-ccarduinoclicommandsv1boarddetails-and-board-details-command-in-cli" class="md-nav__link">
+    debugging_supported field has been removed from gRPC cc.arduino.cli.commands.v1.BoardDetails and board details command in CLI
+  </a>
+
 </li>
 
       </ul>
@@ -3835,6 +3849,16 @@ <h3 id="grpc-ccarduinoclicommandsv1platform-message-has-been-changed">gRPC <code
 <li><code>PlatformMetadata</code> contains generic information about a platform (not correlated to a specific release).</li>
 <li><code>PlatformRelease</code> contains information about a specific release of a platform.</li>
 </ul>
+<h3 id="debugging_supported-field-has-been-removed-from-grpc-ccarduinoclicommandsv1boarddetails-and-board-details-command-in-cli"><code>debugging_supported</code> field has been removed from gRPC <code>cc.arduino.cli.commands.v1.BoardDetails</code> and <code>board details</code> command in CLI<a class="headerlink" href="#debugging_supported-field-has-been-removed-from-grpc-ccarduinoclicommandsv1boarddetails-and-board-details-command-in-cli" title="Permanent link">&para;</a></h3>
+<p>The <code>debugging_supported</code> field has been removed, since the possibility to debug is determined by:</p>
+<ul>
+<li>the board selected</li>
+<li>the board option selected</li>
+<li>the programmer selected</li>
+</ul>
+<p>the <code>board details</code> command has no sufficient information to determine it. If you need to determine if a specific
+selection of board + option + programmer supports debugging, use the gRPC call
+<code>cc.arduino.cli.commands.v1.GetDebugConfig</code>: if the call is successful, it means that the debugging is supported.</p>
 <h2 id="0350">0.35.0<a class="headerlink" href="#0350" title="Permanent link">&para;</a></h2>
 <h3 id="cli-debug-info-changed-json-output">CLI <code>debug --info</code> changed JSON output.<a class="headerlink" href="#cli-debug-info-changed-json-output" title="Permanent link">&para;</a></h3>
 <p>The string field <code>server_configuration.script</code> is now an array and has been renamed <code>scripts</code>, here an example:</p>

dev/rpc/commands/index.html

@@ -4216,12 +4216,6 @@ <h3 id="boarddetailsresponse">BoardDetailsResponse<a class="headerlink" href="#b
 <td>List of programmers supported by the board</td>
 </tr>
 <tr>
-<td>debugging_supported</td>
-<td><a href="#bool">bool</a></td>
-<td></td>
-<td>Set to true if the board supports debugging</td>
-</tr>
-<tr>
 <td>identification_properties</td>
 <td><a href="#cc.arduino.cli.commands.v1.BoardIdentificationProperties">BoardIdentificationProperties</a></td>
 <td>repeated</td>