patch 9.0.0573: outdated dependencies go unnoticed

Problem: Outdated dependencies go unnoticed. Solution: Use github Dependabot. (closes #11213)
2022-09-24 14:35:21 +01:00
parent 75f4bafabd
commit 81fd3b2b44
2 changed files with 8 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -699,6 +699,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    573,
 /**/
    572,
 /**/