From de5ffd5cfa55456fc1fcc589f409aa27ab5f8aa5 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 29 Nov 2022 21:31:29 +0100 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 b7ab9b7e62b..69503631c04 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-11-16"; + public static final String EXTRACTOR_VERSION = "2022-11-29"; public static final Pattern NEWLINE = Pattern.compile("\n");