From b6a19594b29a7d4f33a1f4324a0579df61f48d06 Mon Sep 17 00:00:00 2001
From: Philip H <47042125+pheiduck@users.noreply.github.com>
Date: Sat, 13 May 2023 18:05:20 +0100
Subject: patch 9.0.1553: CI: using slightly outdated gcc version

Problem:    CI: using slightly outdated gcc version.
Solution:   Use "brew" to get a more recent gcc version.  (closes #12391)
---
 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 2f2fa1291b..ed51a81a54 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 */
+/**/
+    1553,
 /**/
     1552,
 /**/
-- 
cgit v1.2.3