From 0cf191f70d5c00375a57f128034bc895ad33ae07 Mon Sep 17 00:00:00 2001 From: Asger F Date: Wed, 23 Oct 2019 14:52:35 +0100 Subject: [PATCH] JS: Bump extractor version string --- 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 191d80aa03a..ca5fc92c21e 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/Main.java +++ b/javascript/extractor/src/com/semmle/js/extractor/Main.java @@ -37,7 +37,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 = "2019-10-08"; + public static final String EXTRACTOR_VERSION = "2019-10-23"; public static final Pattern NEWLINE = Pattern.compile("\n");