From df7180f3fa204d23f9301682fd79499796c55312 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Tue, 17 Sep 2019 17:14:02 +0200
Subject: [PATCH] [jOOQ/jOOQ#9231] Wrong Javadoc on org.jooq.Source

---
 jOOQ/src/main/java/org/jooq/Source.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jOOQ/src/main/java/org/jooq/Source.java b/jOOQ/src/main/java/org/jooq/Source.java
index d251859121..f044e91ec6 100644
--- a/jOOQ/src/main/java/org/jooq/Source.java
+++ b/jOOQ/src/main/java/org/jooq/Source.java
@@ -47,7 +47,7 @@ import java.nio.charset.Charset;
 /**
  * A source of text data.
  * <p>
- * [#8986] As of jOOQ 3.11, this is INTERNAL API and should not be used by
+ * [#8986] As of jOOQ 3.12, this is INTERNAL API and should not be used by
  * users.
  */
 @Internal