Support 1.13-pre7

2018-07-15 12:01:45 -04:00
parent 8ce6e2f8d3
commit 077b34d304
7 changed files with 898 additions and 1 deletions
--- a/internal/pom.xml
+++ b/internal/pom.xml
@@ -41,8 +41,8 @@
      <id>recent</id>
      <!-- The recent profile is for the most recent 2 versions. -->
      <modules>
-        <module>v1_11_R1</module>
        <module>v1_12_R1</module>
+        <module>v1_13_R1</module>
      </modules>
    </profile>

@@ -71,6 +71,7 @@
        <module>v1_10_R1</module>
        <module>v1_11_R1</module>
        <module>v1_12_R1</module>
+        <module>v1_13_R1</module>
      </modules>
    </profile>