From e0ff27331fadfe9c4d12630cfaaf39b8ad18616b Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Thu, 25 Aug 2022 23:09:34 +0200 Subject: [PATCH] bump extractor version --- javascript/extractor/src/com/semmle/js/extractor/Main.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extractor/src/com/semmle/js/extractor/Main.java b/javascript/extractor/src/com/semmle/js/extractor/Main.java index 6ae1e79dc33..50ee6835aeb 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/Main.java +++ b/javascript/extractor/src/com/semmle/js/extractor/Main.java @@ -41,7 +41,7 @@ public class Main { * A version identifier that should be updated every time the extractor changes in such a way that * it may produce different tuples for the same file under the same {@link ExtractorConfig}. */ - public static final String EXTRACTOR_VERSION = "2022-07-11"; + public static final String EXTRACTOR_VERSION = "2022-08-25"; public static final Pattern NEWLINE = Pattern.compile("\n");