From cc69dfef40675f98c79c5f211801aa8026ea1881 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Tue, 17 Sep 2019 17:17:40 +0200
Subject: [PATCH] [jOOQ/jOOQ#9043] API no longer internal in 3.13

---
 jOOQ/src/main/java/org/jooq/Source.java | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/jOOQ/src/main/java/org/jooq/Source.java b/jOOQ/src/main/java/org/jooq/Source.java
index f044e91ec6..03daa75099 100644
--- a/jOOQ/src/main/java/org/jooq/Source.java
+++ b/jOOQ/src/main/java/org/jooq/Source.java
@@ -46,11 +46,7 @@ import java.nio.charset.Charset;
 
 /**
  * A source of text data.
- * <p>
- * [#8986] As of jOOQ 3.12, this is INTERNAL API and should not be used by
- * users.
  */
-@Internal
 public final class Source {
 
     private final String      string;