From 28dbdc603d58d3026329d46bfc0d761540b13f1f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 16 Dec 2020 11:13:22 +0100
Subject: [PATCH] Fix title of Matchable doc page

---
 docs/docs/reference/other-new-features/matchable.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/reference/other-new-features/matchable.md b/docs/docs/reference/other-new-features/matchable.md
index e9a2b9611189..6a0adeb3b7f9 100644
--- 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.