Small fix to DevTools release notes generator (#9544)
diff --git a/tool/lib/commands/release_notes_helper.dart b/tool/lib/commands/release_notes_helper.dart index 494447e..0f8e471 100644 --- a/tool/lib/commands/release_notes_helper.dart +++ b/tool/lib/commands/release_notes_helper.dart
@@ -144,9 +144,9 @@ final metadataHeader = '''--- title: DevTools $releaseNotesVersion release notes -short-title: $releaseNotesVersion release notes +shortTitle: $releaseNotesVersion release notes breadcrumb: $releaseNotesVersion -toc: false +showToc: false --- ''';