patch 9.0.1541: CI: sound dummy is disabled

Problem: CI: sound dummy is disabled. Solution: Make sound dummy work again. (closes #12380)
2023-05-11 15:22:58 +01:00
parent f9dc278946
commit e741f039cf
2 changed files with 17 additions and 12 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 */
+/**/
+    1541,
 /**/
    1540,
 /**/