JS: Update extractor version string

asger-semmle · asger-semmle · commit a8e8ae868a1b · 2019-09-13T15:48:31.000+01:00
diff --git 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-09-04";
+  public static final String EXTRACTOR_VERSION = "2019-09-13";
 
   public static final Pattern NEWLINE = Pattern.compile("\n");
 
