commit 0887e62bce3f46c20d2fa5f8ece1ca001e44ce63
author Wu, Zhenyu <wuzhenyu@ustc.edu> Mon Oct 21 20:54:13 2024 +0200
committer Christian Brabandt <cb@256bit.org> Mon Oct 21 20:54:13 2024 +0200
tree 114392e1fcc6be432b38d57e7f46d1c9cc8f451c
parent 4f5681dbdfaf25f3357cba3172906c076421c7b9

patch 9.1.0795: filetype: Vivado memory info file are not recognized

Problem:  filetype: Vivado memory info file are not recognized
Solution: detect '*.mmi' memory info file as xml filetype
          (Wu, Zhenyu)

References: https://docs.amd.com/r/en-US/ug1580-updatemem/MMI-File-Syntax

closes: #15906

Signed-off-by: Wu, Zhenyu <wuzhenyu@ustc.edu>
Signed-off-by: Christian Brabandt <cb@256bit.org>

src/version.c

diff --git a/src/version.c b/src/version.c
index 09a93cf..6d7ef03 100644
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    795,
+/**/
     794,
 /**/
     793,