Merge pull request #10815 from dotty-staging/fix-matchable-doc

nicolasstucki · web-flow · commit 7a1f148abf5c · 2020-12-16T12:54:50.000+01:00
Fix title of Matchable doc page
diff --git a/docs/docs/reference/other-new-features/matchable.md b/docs/docs/reference/other-new-features/matchable.md
@@ -1,6 +1,6 @@
 ---
 layout: doc-page
-title: The Matchable Trait
+title: "The Matchable Trait"
 ---
 
 A new trait `Matchable` controls the ability to pattern match.
