patch 8.2.0415: bsdl filetype is not detected

Problem: Bsdl filetype is not detected. Solution: Add an entry in the filetype list. (Daniel Kho, closes #5810)
2020-03-19 20:32:01 +01:00
parent 373a876d0c
commit 40d235e730
3 changed files with 8 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -738,6 +738,8 @@ static char *(features[]) =

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