patch 9.0.1248: cannot export an interface

Problem: Cannot export an interface. (Ernie Rael) Solution: Add the EX_EXPORT flag to :interface. (closes #11884)
2023-01-26 20:36:56 +00:00
parent 870219c58c
commit 53f54e49b7
3 changed files with 26 additions and 1 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 */
+/**/
+    1248,
 /**/
    1247,
 /**/