From 6a7c7749204b256e779c245b1e999bf852ad7b64 Mon Sep 17 00:00:00 2001
From: Gianmaria Bajo <mg1979.git@gmail.com>
Date: Fri, 10 Mar 2023 16:35:53 +0000
Subject: patch 9.0.1397: highlight for popupmenu kind and extra cannot be set

Problem:    Highlight for popupmenu kind and extra cannot be set.
Solution:   Add PmenuKind, PmenuKindSel, PmenuExtra and PmenuExtraSel
            highlight groups and use them. (Gianmaria Bajo, closes #12114)
---
 src/version.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/version.c')

diff --git a/src/version.c b/src/version.c
index 24c6fa307e..b81b38d955 100644
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1397,
 /**/
     1396,
 /**/
-- 
cgit v1.2.3