From e4e10a3222cc6447065e2d91cf24970788b1214c Mon Sep 17 00:00:00 2001 From: Asger F Date: Tue, 8 Oct 2019 13:05:45 +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 4b77c9ab22e..191d80aa03a 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-07"; + public static final String EXTRACTOR_VERSION = "2019-10-08"; public static final Pattern NEWLINE = Pattern.compile("\n");