Merge pull request #57 from berylliumsec/finetuning_index_files

Finetuning index files
berylliumsec · Nov 11, 2023 · 8174e92 · 8174e92
2 parents c29105d + e468316
commit 8174e92
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -131,7 +131,7 @@ jobs:
           prerelease: false
           body: |
             Release Notes:
-              - This release removes unnecessary values in the index files and improves the users experience when searching for vulnerabilities.
+              - This release removes unnecessary values in the index files and improves the users experience when using the search interface and suggestions feature.
       - name: Upload Release Assets
         if: github.event.pull_request.merged == true
         run: |

diff --git a/...nebula/indexdir/MAIN_nqtlptag6hflfaon.seg → ...nebula/indexdir/MAIN_ehrnsln0a0qqn31n.seg b/...nebula/indexdir/MAIN_nqtlptag6hflfaon.seg → ...nebula/indexdir/MAIN_ehrnsln0a0qqn31n.seg
diff --git a/src/nebula/indexdir/_MAIN_1.toc b/src/nebula/indexdir/_MAIN_1.toc