patch 9.0.1236: code in same_leader() can be simplified

Problem: Code in same_leader() can be simplified. Solution: Simplify code that is executed only once. (closes #11867)
2023-01-23 16:57:08 +00:00
parent dc7179f9a4
commit 9cbf791995
2 changed files with 3 additions and 8 deletions
--- 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 */
+/**/
+    1236,
 /**/
    1235,
 /**/